Reading math notation

This last section of Chapter 1 is a fast reference, not a deep dive: a handful of small notation marks that show up constantly starting in the very next chapter. You've already met the big ideas ( $\in$ , $\subset$ , intervals, number families); this is the "here's how to read it on sight" cleanup round.

Subscripts: telling apart members of a family

A subscript is a name tag, not a math operation. $a_1$ is not " $a$ times 1" or " $a$ to some power." It's just "the specific one labeled 1." Think of a family with a lot of kids all named some variation of the same thing, distinguished by number: Child 1, Child 2, Child 3. The label $a_7$ means "go find the 7th one in the $a$ -family and hand me that one." Nothing more exotic than that. You'll meet this constantly once sequences show up, where $a_1, a_2, a_3, \ldots$ names an endless numbered list of terms.

The subscript letter doesn't have to be a fixed number, either. $a_n$ (a lowercase "n" instead of a specific digit) means "whichever one we're currently talking about." That's the same way "child number $n$ " makes sense as a placeholder even before you've said which child you mean. This is genuinely useful. A rule like $a_n = 2n + 1$ describes every term in the family at once. Plug in $n=1$ and you get $a_1 = 3$ . Plug in $n=5$ and you get $a_5 = 11$ : one short formula standing in for an endless list.

A subscript is a small number or letter written low and to the right of a variable, used to label a specific member of a numbered family. The pattern $a_1, a_2, a_3, \ldots, a_n$ refers to "the first thing in the $a$ -family, the second thing, the third thing, …, the $n$ -th thing," with $n$ itself standing for "however many we're talking about."

Worked example

Reading a subscripted family

1
Given the rule $a_n = 2n + 1$ , find $a_1$ , $a_4$ , and describe what $a_n$ means in general.
2
$a_1$ : substitute $n=1$ into the rule. $a_1 = 2(1) + 1 = 3$ . This is "the 1st term in the $a$ -family."
3
$a_4$ : substitute $n=4$ . $a_4 = 2(4) + 1 = 9$ . This is "the 4th term": a completely different value from $a_1$ , even though it's built from the exact same rule.
4
$a_n$ itself, with the letter $n$ instead of a number, means "an arbitrary, unspecified term in the family." It's a variable playing the role of "which position," the same job a variable normally plays for "which number." Reading it as a word: "the $n$ -th term of $a$ ."

Absolute value: distance from zero

Formula

Absolute Value

🔖

|x| = \begin{cases} x & \text{if } x \ge 0 \\ -x & \text{if } x < 0 \end{cases}

$|x|$ answers one question: "how far from zero?" Ignoring which direction. Both 7 and $-7$ sit seven steps from zero, so $|7| = |-7| = 7$ . The formula's "if $x<0$ , use $-x$ " line just means "drop the minus sign," bureaucratic phrasing for "make it positive." The bars themselves, $| \cdot |$ , are a visual cue too. Think of them as the walls of a one-way tunnel: whatever number goes in, only a non-negative number comes out the other side.

The piecewise definition above is doing something subtler than "drop the minus sign." The second line, $-x$ , denotes the opposite of $x$ , not "a negative number." It is invoked only when $x$ is already negative, so the value it produces is positive. That is how the definition manufactures a non-negative output using nothing but comparison and negation, which in turn keeps it non-circular: no notion of absolute value is assumed in order to define absolute value.

The distance reading is a consequence of that definition rather than a substitute for it, and it generalizes. Apply the same two cases to $x - a$ instead of to $x$ , and $|x-a|$ becomes the distance between $x$ and $a$ : the form behind every absolute-value equation and inequality you'll solve later. Setting $a=0$ recovers the plain $|x|$ .

Drag the probe — watch |x| update

Drag the amber point left and right and read off |x| above it, for both positive and negative x.

Loading interactive…

Worked example

Absolute value of an expression, not just a bare number

1
Evaluate $|3 - 8|$ . This one has arithmetic happening inside the bars, which is a common source of a specific mistake worth seeing once.
2
Do the arithmetic inside the bars first, the same way you would with ordinary parentheses: $3 - 8 = -5$ .
3
Now apply the bars to the result: $|-5|$ asks "how far is $-5$ from zero?" That's five steps, so $|-5| = 5$ .
4
$|3-8| = 5$ . The mistake this example is built to head off: taking the absolute value of each piece before combining them. Doing that, $|3| - |8| = 3 - 8 = -5$ , gives a completely different (and wrong) answer. The bars apply to the entire result of what's inside them, computed first, not to each term separately.

Common mistake: $|a - b|$ vs. $|a| - |b|$

It's tempting to treat the absolute value bars like they "pass through" a subtraction. After all, some operations do distribute across parentheses. Absolute value doesn't. $|3-8|$ and $|3|-|8|$ ask two genuinely different questions. The first asks "how far apart are 3 and 8?" (five steps, a distance, always non-negative). The second computes two separate distances-from-zero and then subtracts them ( $3-8=-5$ , which isn't even a distance anymore, since it went negative). The safest habit: always finish the arithmetic inside the bars completely before applying the bars, the same rule you already use for ordinary parentheses.

In general, $|a - b| \neq |a| - |b|$ . Absolute value bars must be applied to the fully combined result of the expression inside them, not distributed across a subtraction (or addition) term by term. This mirrors an error pattern familiar from other grouping symbols: $|\cdot|$ groups its contents the way parentheses do, and grouping symbols are evaluated from the inside out.

Absolute value measures distance between two points, not just from zero

A useful generalization, previewed now so it doesn't feel new later: $|a - b|$ measures the distance between $a$ and $b$ on the number line, not just the distance from a single number to zero. (Equivalently, $|b-a|$ works too, since flipping the sign inside the bars doesn't change the distance.) A thermostat reading that's "off target by $|68 - 72| = 4$ degrees" is using this same idea. So is a golfer whose shot lands " $|150 - 162| = 12$ yards" from the pin. Both are examples of absolute value as a general-purpose "how far apart are these two numbers" tool. "Distance from zero" is just the special case where one of the two numbers happens to be 0.

Number line from 60 to 80 showing a filled point at 68; a filled point at 72 — |68 − 72| as a distance between two points

Worked example

Distance between two points, neither one zero

1
Find the distance between $-3$ and $5$ on the number line, using absolute value instead of counting steps by hand.
2
Set up $|a-b|$ with the two points in either order: $|-3 - 5|$ .
3
Do the subtraction inside the bars first: $-3 - 5 = -8$ . Then apply the bars: $|-8| = 8$ .
4
The distance is $8$ . Check that order doesn't matter here: $|5 - (-3)| = |8| = 8$ , the identical answer. Whichever point you subtract from which, the bars erase the sign and leave only the distance, as this section's generalization promised.

Check your understanding (counts toward your progress)

$|x-(24)|=26$ has two solutions. What is the LARGER one?

Correct! 🎉 Not quite.

Right on try — credit. Right — the answer had already been shown, so no credit this time. Next try is worth Answer shown after three tries — this one no longer earns credit. You chose to see the answer — this one earns no credit.

Why

The two solutions are $x=24+26=50$ and $x=24-26=-2$ -- the larger is $50$ .

Correct answer

Also accepted:

Why

$|x-(24)|=26$ means $x-(24)=26$ or $x-(24)=-26$ .

For which values of $a$ and $b$ can $|a-b|=|a|-|b|$ actually hold, given that it isn't true in general?

Correct! 🎉 Not quite.

It's not NEVER true — plug in $b=0$ and check both sides.

The earlier worked example, $|3-8|=5$ vs. $|3|-|8|=-5$ , already shows a case where they disagree — not all a, b.

Try $a=-3,b=-8$ : $|{-3-(-8)}|=|5|=5$ , but $|-3|-|-8|=3-8=-5$ — still unequal, so "both negative" isn't the condition.

Why

The two sides generally disagree, but they can coincide in special cases — for instance $b=0$ makes both sides equal $|a|$ . The general identity $|a-b|=|a|-|b|$ does NOT hold, which is exactly the point of this section's warning.

Try setting $b=0$ and compare both sides directly.

The general claim is false, but check whether some special-case values of a and b could still make it come out equal by coincidence.

Practice: Absolute value as distance (6 problems · doesn’t affect your progress)

What does $|a - b|$ represent, geometrically, on the number line?

Correct! 🎉 Not quite.

Absolute value of a subtraction has nothing to do with adding the two numbers together.

b is very much part of the calculation — swap b for a different number and the result changes.

$|a-b|$ is defined and gives a sensible answer regardless of which of a, b is larger — that's exactly why the bars are useful here.

Why

$|a-b|$ measures the distance between $a$ and $b$ on the number line — it doesn't matter which one is larger, since $|a-b| = |b-a|$ always. Distance from zero ( $|x|$ ) is just the special case where one of the two points is 0.

The distance between a and b, regardless of which is larger

Evaluate $|{-9}|$ .

Correct! 🎉 Not quite.

Why

$|{-9}|$ asks "how far is $-9$ from zero?" — nine steps, so the answer is 9. The bars strip away the sign, they don't change the size.

Correct answer

Also accepted:

Why

Compute $|4-9|$ .

Correct! 🎉 Not quite.

Why

$4-9=-5$ , and $|-5|=5$ .

Correct answer

Also accepted:

Why

A golfer's shot lands 145 yards from a pin at 162 yards. How far off target, using absolute value?

Correct! 🎉 Not quite.

Why

$|145-162|=|-17|=17$ yards off target.

Correct answer

Also accepted:

Why

Subtract inside the bars first, then take the absolute value of that single result.

A student computes $|3-8|$ as $|3|-|8| = 3-8 = -5$ . What's wrong with this approach?

Correct! 🎉 Not quite.

These give DIFFERENT answers ( $5$ vs $-5$ ) — they can't both be valid; only one correctly represents $|3-8|$ .

$3-8=-5$ is correct arithmetic — the error is in applying the bars to each term separately instead of to the combined result.

Absolute value accepts any real number, positive or negative — that's the whole point of the piecewise definition.

Why

$|a-b|$ is not the same as $|a|-|b|$ in general. The bars group their contents exactly like parentheses — finish the arithmetic inside first ( $3-8=-5$ ), then apply the bars ( $|-5|=5$ ), rather than distributing the bars across the subtraction.

Check whether absolute value bars can be split apart across a subtraction, the way parentheses also can't be split apart.

Absolute value bars must be applied to the fully combined result inside them, not distributed term by term across the subtraction

Is $|a - b|$ always equal to $|b - a|$ ?

Correct! 🎉 Not quite.

The sign of a and b doesn't matter here — the equality holds for any real numbers, including negatives.

They're actually always equal — $b-a$ is just $-(a-b)$ , and absolute value strips the sign either way, landing on the same result.

It holds far more generally than just that special case — try $a=3,b=8$ : $|3-8|=5$ and $|8-3|=5$ , equal even though $a \neq b$ .

Why

$b - a = -(a-b)$ , and absolute value ignores sign entirely (it only measures distance from zero), so $|a-b|$ and $|b-a|$ are always equal — order inside the bars doesn't matter.

Write $b-a$ in terms of $a-b$ and think about what absolute value does to a negative sign.

Try a concrete pair of numbers, like $a=3, b=8$ , and compute both $|a-b|$ and $|b-a|$ .

Yes — flipping the order inside the bars just flips the sign of what's inside, which doesn't change the distance

Sigma: shorthand for a long sum

$\Sigma$ is a "repeat and add" button. Instead of writing out a long addition by hand, you write the pattern once and tell $\Sigma$ the range to run it over. Written out, $\sum_{i=1}^{5} i$ reads as "add up $i$ , for $i$ running from 1 to 5." That's a compressed way of writing $1+2+3+4+5$ , and it scales effortlessly to a thousand terms without getting any longer to write. You'll meet $\Sigma$ properly when sequences and series arrive later in the course. For now, just recognize it on sight as "a sum written compactly."

The Greek capital letter $\Sigma$ (sigma) denotes summation: adding up a pattern of terms across a range of index values. $\sum_{i=1}^{5} i = 1 + 2 + 3 + 4 + 5 = 15$ The bottom of the $\Sigma$ gives the starting index, the top gives the ending index, and the expression to the right is evaluated at each index and added.

Worked example

Sigma with a pattern, not just plain counting

1
Evaluate $\sum_{i=1}^{4} 2i$ . This time, the expression next to $\Sigma$ isn't just " $i$ " by itself: there's a pattern to apply at each step.
2
Start index at the bottom: $i=1$ . End index at the top: $i=4$ . So $i$ will take the values $1, 2, 3, 4$ in turn, one at a time.
3
At each value, compute $2i$ (double it), then add all four results together: $2(1) + 2(2) + 2(3) + 2(4) = 2 + 4 + 6 + 8$ .
4
$\sum_{i=1}^{4} 2i = 2+4+6+8 = 20$
Notice this is different from $2\sum_{i=1}^4 i$ only in how you'd compute it, not in the answer: $2 \times (1+2+3+4) = 2 \times 10 = 20$ too, since doubling each term and then adding gives the same total as adding then doubling. But don't assume every pattern behaves this conveniently. The safe default is always: apply the pattern first, index by index, then add.

Common mistake: miscounting how many terms $\Sigma$ covers

It's an easy trap because so many textbook examples conveniently start at $i=1$ , where "the top number" and "how many terms" happen to be the same number by coincidence. The summation $\sum_{i=3}^{7} i$ breaks that coincidence: $i$ runs through $3, 4, 5, 6, 7$ . Count them on your fingers. That's five values, not seven. The reliable formula is (last index) minus (first index) plus one. The "plus one" is there because you're counting the fence posts (both endpoints included), not just the gaps between them. It's the same "inclusive counting" idea that made $[a, b]$ include both of its endpoints back in the interval notation section.

A frequent counting error treats the top index as "how many terms," rather than correctly computing (top index) $-$ (bottom index) $+ 1$ terms. The sum $\sum_{i=1}^{5} i$ happens to have exactly 5 terms because the bottom index is 1. But $\sum_{i=3}^{7} i$ also spans a top index of 7, yet has only $7 - 3 + 1 = 5$ terms, not 7.

Where this shows up

Personal Finance

A savings account that gets a fixed deposit added every month is a $\Sigma$ in disguise. If you deposit $\$200$ every month for a year, your total contribution is $\sum_{i=1}^{12} 200 = 12(200) = \$2{,}400$ . That's sigma notation compressing "add 200, twelve times" into one symbol. Real compound-interest formulas (which you'll meet properly with exponential functions later in this course) are built from sums like this one. The only difference is a growth factor multiplying each term instead of a flat $200$ . Getting comfortable reading $\Sigma$ now, on a plain repeated deposit, is a direct rehearsal for reading a compound-interest formula later without it looking like a wall of unfamiliar symbols.

Greek letters you'll see

Mathematicians reuse Greek letters as a kind of universal shorthand. It's worth knowing the short list rather than being caught off guard the first time one shows up. $\theta$ shows up specifically for angles. It's not a random flex. It's a convention so precise that seeing $\theta$ in a problem tells you "this is about rotation or angles" before you've read a single word of the problem. The symbol $\Delta$ means "change in." So $\Delta x$ isn't a new variable. It's shorthand for "however much $x$ moved," the same way you'd say "my elevation changed by 200 feet" without needing separate words for "before" and "after" and "the difference between them."

A handful of Greek letters carry conventional meanings throughout this course. $\pi$ (pi) is the circle ratio from two sections ago. $\theta$ (theta) is a conventional name for an unknown angle, playing the same role $x$ plays for an unknown number. $\Delta$ (delta, capital) means "change in," as in $\Delta x$ meaning "the change in $x$ ."

Worked example

Reading Δx out loud

1
A hiker's elevation is 500 feet at the trailhead and 1,200 feet at the summit. Write and read $\Delta(\text{elevation})$ .
2
"Change in" always means (ending value) $-$ (starting value): later minus earlier, in that order.
3
$\Delta(\text{elevation}) = 1200 - 500 = 700$ .
4
Read aloud: "the change in elevation is 700 feet." Notice $\Delta$ isn't standing in for a specific number by itself. It's a label glued to "elevation," meaning "the change in whatever follows it." If the hike had gone the other direction (summit to trailhead), $\Delta(\text{elevation}) = 500 - 1200 = -700$ , negative, correctly signaling elevation lost rather than gained. The sign of $\Delta$ always carries real meaning: which direction the change went.

Naming the domain inside a set-builder rule

Two symbols from earlier in this chapter combine constantly from here on: $\in$ and the number families ( $\mathbb{N}$ , $\mathbb{Z}$ , $\mathbb{Q}$ , $\mathbb{R}$ ) from a few sections ago. Every set-builder expression you met back in the "Sets, plainly" section left its domain unstated: " $x$ " quietly meant "some real number," assumed rather than written down. Set-builder notation can name that domain out loud instead, by opening with a membership statement before the condition. $\{x \in \mathbb{R} : x > -2\}$ Read it left to right, the same "such that" reading from that earlier section, with one extra clause up front. "The set of all $x$ " is the usual opening; $x \in \mathbb{R}$ pins down which $x$ 's are even eligible (real numbers, not just integers or some other family). Then "such that $x > -2$ " adds the actual condition. Put together: "the set of all real numbers $x$ such that $x$ is greater than $-2$ ." This is the exact notation from this chapter's own opening page. Whenever the domain left implicit really was "real number," $\{x \in \mathbb{R} : x > -2\}$ and $\{x \mid x > -2\}$ describe the identical set; the membership clause just makes the assumption visible instead of leaving it unstated. The colon here is doing the same "such that" job the vertical bar did back in that section. Both are standard, and this course uses either, depending on whether a domain is being named up front.

Worked example

Reading a domain-qualified set-builder expression

1
Translate $\{x \in \mathbb{Z} : x > -2\}$ into a plain-English description, and compare it to $\{x \mid x > -2\}$ with no domain stated.
2
Read the membership clause first: $x \in \mathbb{Z}$ restricts $x$ to the integers only, not every real number.
3
Read the condition after the colon the same way as any other set-builder rule: $x > -2$ , "greater than $-2$ ."
4
Combined: "the set of all integers greater than $-2$ " — that's $\{-1, 0, 1, 2, 3, \ldots\}$ , a short, listable set. Compare that to $\{x \mid x > -2\}$ with no domain named: by default that means every real number greater than $-2$ , an infinite, unlistable stretch of the number line. Naming the domain isn't decoration; it changes which set the notation describes.

Logic symbols: reading definitions and theorems

Every definition and theorem in this course (including the "Textbook" boxes you've been reading throughout this section) leans on a small set of logic symbols to state what's being claimed, with no ambiguity. Four of them cover almost everything you'll see.

Think of $\implies$ , the symbol for implication, as a one-way promise. "If it's raining, the ground is wet" is a fair statement of that kind. But you can't reverse it. A wet ground doesn't prove it rained, since someone could've hosed the sidewalk. By contrast, $\iff$ is a two-way promise, true in both directions at once. It's the kind of statement you'd use to define something: "a number is even iff it's divisible by 2" really does work both ways.

The other two symbols sit at opposite ends of a spectrum. $\forall$ , the universal quantifier (read "for all"), makes a claim about every single member of a group. "For all students, tuition is due Friday" means no student is exempt. $\exists$ , the there-exists symbol, only needs to find one. "There exists a student who paid early" is true the moment a single student did, even if the rest haven't. Mixing these two quantifiers up is a real trap. "For all $x$ , $x>0$ " and "there exists an $x$ with $x>0$ " look alike but make wildly different claims about the same set of numbers. One says every member qualifies. The other says only that the set isn't empty of qualifiers.

$\implies$ ("implies," read "if ... then ...") states that whenever the statement on the left is true, the statement on the right must also be true. It says nothing about the reverse direction. $\iff$ ("if and only if," often abbreviated "iff") is stronger: it asserts the implication holds in both directions at once, left is true exactly when right is true. Two more symbols quantify a statement over a set of values. $\forall$ ("for all," an upside-down A) asserts a statement holds for every member of a set with no exceptions. $\exists$ ("there exists," a backwards E) asserts at least one member of the set makes the statement true, without claiming it's true for all of them.

Worked example

Reading a theorem-style implication out loud

1
Read $a < b \text{ and } c < 0 \implies ac > bc$ in plain English, and identify what's being claimed.
2
Everything to the left of $\implies$ is the hypothesis: the assumption you're allowed to take for granted: " $a$ is less than $b$ , and $c$ is negative."
3
Everything to the right of $\implies$ is the conclusion: what's guaranteed to follow, but only once the hypothesis holds: " $ac$ is greater than $bc$ ."
4
Read start to finish: "If $a$ is less than $b$ and $c$ is negative, then $ac$ is greater than $bc$ ." The arrow only runs one way. This statement doesn't claim that $ac>bc$ forces $a<b$ and $c<0$ ; it only promises the forward direction. (This is why multiplying an inequality by a negative number flips it: you'll meet this rule properly as a theorem in the next chapter.)

Worked example

Telling ∀ apart from ∃

1
Compare $\forall x \in \mathbb{R},\ x^2 \ge 0$ and $\exists x \in \mathbb{R} \text{ such that } x^2 = 4$ .
2
The first reads "for every real number $x$ , $x^2$ is at least 0." This is a claim about the entire set of real numbers at once, and it happens to be true, since squaring never produces a negative result.
3
The second reads "there exists a real number $x$ such that $x^2 = 4$ ." This only claims at least one real number works, and it's true, since $x=2$ (or $x=-2$ ) satisfies it, even though most real numbers don't.
4
Same-looking sentence shape, completely different strength of claim: $\forall$ must hold for every single value with zero exceptions, while $\exists$ only needs to survive one example to be true.

Common mistake: reading $\implies$ as reversible

"If it's raining, the ground is wet" doesn't mean "if the ground is wet, it's raining." That reversed version is called the converse, and it's a separate claim. A sprinkler could have wet the ground on a dry day. The same caution applies to the earlier vertex example. Knowing the hypothesis forces the conclusion doesn't mean the conclusion forces the hypothesis back. It doesn't here either: plugging in $a=5, b=2, c=1$ still makes $ac>bc$ true, even though neither $a<b$ nor $c<0$ holds. Plenty of other sign combinations work too. Using $\iff$ instead of the plain implication $\implies$ is the author explicitly certifying that both directions were checked, not just one. It's worth noticing every time you see it.

$P \implies Q$ does not, by itself, license $Q \implies P$ . The reverse direction (the converse) is a separate claim that can be true, false, or simply untested. Only $\iff$ certifies both directions simultaneously.

Check your understanding (counts toward your progress)

A definition states "a number is even $\iff$ it's divisible by 2." What does the $\iff$ tell you that a plain $\implies$ wouldn't?

Correct! 🎉 Not quite.

They're not interchangeable — $\iff$ specifically certifies both directions, which $\implies$ alone never does.

$\iff$ says nothing about sign restrictions — it certifies a bidirectional relationship.

Whether something is a "definition" or "theorem" is unrelated to which arrow symbol is used.

Why

$\iff$ certifies the implication in both directions at once — here, "even $\implies$ divisible by 2" AND "divisible by 2 $\implies$ even" both hold, which is exactly what makes it usable as a definition.

$\iff$ is two $\implies$ statements at once, one running each direction -- what does each direction say on its own?

For $k=183$ , which statement is TRUE?

Correct! 🎉 Not quite.

Why

Since $k=183>0$ , SOME real number squares to $k$ (namely $\pm\sqrt{183}$ ), so the existential claim is true -- but it's false that EVERY real number squares to $k$ (that would require every $x$ to be the same value), and $x=0$ already breaks $x^2\ge 183$ .

Which is true — $\forall x \in \mathbb{R},\ x^2 \ge 0$ or $\exists x \in \mathbb{R} \text{ such that } x^2 < 0$ ?

Correct! 🎉 Not quite.

Squaring a real number never produces a negative result — no real $x$ satisfies $x^2<0$ , so the $\exists$ statement is false.

The $\exists$ statement fails — check whether any real number could actually make $x^2<0$ true.

The $\forall$ statement is true — every real number squared is at least 0, with no exceptions.

Why

Squaring any real number gives a nonnegative result, so $\forall x \in \mathbb{R}, x^2 \ge 0$ holds for every real $x$ — and consequently no real $x$ can satisfy $x^2<0$ , making the $\exists$ statement false.

Try squaring a few real numbers, positive and negative -- does the result ever come out negative?

Practice: Implication, biconditional, and quantifiers (5 problems · doesn’t affect your progress)

In logical notation, what is the meaning of the symbol $\implies$ ?

Correct! 🎉 Not quite.

That's $\iff$ (the biconditional) — $\implies$ only makes a one-way promise, not a two-way one.

That's $\forall$ , a quantifier over a set of values — $\implies$ connects two statements, it doesn't quantify anything.

That's $\exists$ , a quantifier — $\implies$ connects a hypothesis to a conclusion, it isn't about finding an example.

Why

$\implies$ ("implies") is a one-way arrow: whenever the left side is true, the right side is guaranteed true too — but nothing is claimed about the reverse direction.

A one-way promise — "if the left side is true, the right side must be true"

What is the meaning of the universal quantifier $\forall$ ?

Correct! 🎉 Not quite.

That's $\exists$ (an upside-down E), the opposite quantifier — $\forall$ (an upside-down A) claims EVERY member qualifies, not just one.

That's $\iff$ , unrelated to quantifying over a set.

$\forall$ is a quantifier, not a conclusion marker.

Why

$\forall$ ("for all") asserts a statement is true for every single member of a set, with zero exceptions.

For all / for every — the statement holds with no exceptions

A definition reads "a number is even $\iff$ it's divisible by 2." What extra guarantee does the $\iff$ give beyond a plain $\implies$ ?

Correct! 🎉 Not quite.

They're not interchangeable — $\iff$ specifically certifies both directions, which $\implies$ alone never does.

$\iff$ says nothing about sign restrictions — it certifies a bidirectional relationship.

Whether something is a "definition" or "theorem" is unrelated to which arrow symbol is used.

Why

$\iff$ is two $\implies$ statements at once, one running each direction -- what does each direction say on its own?

Both directions hold — even numbers are divisible by 2, AND numbers divisible by 2 are even

Which of these statements is true: $\forall x \in \mathbb{R},\ x^2 \ge 0$ , or $\exists x \in \mathbb{R}$ such that $x^2 < 0$ ?

Correct! 🎉 Not quite.

Squaring a real number never produces a negative result — no real $x$ satisfies $x^2<0$ , so the $\exists$ statement is false.

The $\exists$ statement fails — check whether any real number could actually make $x^2<0$ true.

The $\forall$ statement is true — every real number squared is at least 0, with no exceptions.

Why

Try squaring a few real numbers, positive and negative -- does the result ever come out negative?

Only the $\forall$ statement is true

If $a < b$ and $c < 0$ guarantees $ac > bc$ , does the converse also hold — does $ac>bc$ force $a<b$ and $c<0$ ?

Correct! 🎉 Not quite.

This is the classic trap — $\implies$ only certifies the forward direction. A statement that works both ways needs $\iff$ , not $\implies$ .

No sign restriction fixes this — $\implies$ simply doesn't promise a reverse direction, regardless of the signs involved.

The converse isn't nonsensical — it's just a separate claim that happens to be false here (e.g. $a=5,b=2,c=1$ gives $ac>bc$ without $a<b$ or $c<0$ holding).

Why

$P \implies Q$ never automatically gives $Q \implies P$ (the converse). Here the converse is actually false: $a=5, b=2, c=1$ makes $ac=5>bc=2$ true while $a<b$ and $c<0$ are both false.

$\implies$ only certifies the direction it's written in -- the reverse direction is a separate claim that needs checking on its own.

No — $\implies$ is one-way; the reverse (the converse) is a separate, untested claim

A preview of function notation

You'll get the full, careful treatment of this in the Functions chapter — but you'll see the shape $f(x)$ constantly before then, so here's the fast version.

$f(x)$ is a labeled machine with a slot. $f$ is the machine's name, and $(x)$ is you dropping the value $x$ into its input slot. The parentheses here are not multiplication. This is the single most common misreading, and it's worth killing now. $f(3)$ does not mean " $f$ times 3." It means "run the machine named $f$ with 3 as the input, and tell me what comes out." We'll build the full idea properly in a few chapters. For now, just don't read the parentheses as multiplication when a letter comes right before them.

$f(x)$ (read "f of x") names a function $f$ and the input $x$ it's being applied to, not " $f$ multiplied by $x$ ." It represents the single output that function $f$ produces for that particular input.

f(x) as a machine, previewed

Drag a — this is the full treatment coming in the Functions chapter, but for now just notice f(x) names one output for each input x.

Loading interactive…

Worked example

Telling f(x) apart from multiplication by eye

1
Compare two similar-looking pieces of notation: $f(x)$ and $3(x)$ . Both have a symbol immediately followed by parentheses, but they mean completely different things.
2
$3(x)$ : the symbol before the parentheses, $3$ , is a number. A number sitting directly next to parentheses always means multiplication: this is ordinary notation you've used your whole life, just written as $3 \cdot x$ or $3x$ .
3
$f(x)$ : the symbol before the parentheses, $f$ , is a function's name, not a number. There is no numeric value to multiply by. $f$ is a label for a process ("the machine named $f$ "), and the parentheses mean "apply that process to $x$ ," not "multiply."
4
The test that never fails: check what kind of symbol sits directly before the parentheses. A number there means multiplication. A function name (commonly $f$ , $g$ , or $h$ , but really any letter that's been declared to name a function) there means "apply this function to what's inside." Same visual shape, opposite operation, depending entirely on what that leading symbol names.

Why a fast-reference round-up like this one is worth doing

Every symbol in this section is something you'll see constantly, starting in the very next chapter. That's why it's worth a slower pass now instead of hoping context will explain each one the first time it shows up mid-problem. A subscript buried inside an unfamiliar formula is easy to misread as multiplication if you've never consciously separated the two. An absolute value bar around a messy expression is easy to distribute incorrectly if you've never seen the $|3-8|$ counterexample. The summation symbol $\Sigma$ looks intimidating stacked with index notation if you've never unpacked what the top and bottom numbers are doing. None of these are hard ideas on their own. This section's whole job was to make sure none of them are new ideas either. That holds true the next time you meet them in the middle of a harder problem that has other things to think about too.

Worked example

Reading several symbols from this round-up at once

1
Read $|a_n - 4| \le 3$ out loud, piece by piece, the way the very first section of this chapter taught. This is the kind of compound line the fast-reference above was built to prepare you for: two symbols from this section stacked together, not one at a time.
2
$a_n$ : a subscript, not multiplication. "The $n$ -th term of the family $a$ " — some term whose position isn't pinned down yet.
3
$|a_n - 4|$ : absolute value bars around the whole expression inside them. "The distance between that term and 4," computed only after the subtraction inside the bars is done.
4
$\le 3$ : "is at most 3." Put together: "the distance between the $n$ -th term of $a$ and 4 is at most 3." Recognizing each piece separately, in order, is what turns an intimidating-looking stack of symbols into an ordinary sentence — which was this whole section's point.

Check your understanding (counts toward your progress)

Which English description matches $\{x \in \mathbb{Z} : x > -2\}$ ?

Correct! 🎉 Not quite.

That's $\{x \mid x > -2\}$ with no domain named, which defaults to the reals — the $x \in \mathbb{Z}$ clause here restricts the domain to integers instead.

The direction is flipped — $x > -2$ means greater than $-2$ , not less than it.

The colon isn't naming one value — it's a condition ( $x > -2$ ) applied across a whole domain ( $\mathbb{Z}$ ), giving infinitely many qualifying integers.

Why

Read $x \in \mathbb{Z}$ first — it restricts the domain to integers, not every real number. Then read the condition after the colon the normal set-builder way — $x > -2$ , "greater than $-2$ ." Combined, that's "every integer greater than $-2$ ."

Read the membership clause before the colon first — it names which family of numbers is even eligible.

Evaluate $\sum_{i=2}^{5} (2i-1)$ .

Correct! 🎉 Not quite.

Why

Apply the pattern at each index: $i=2$ gives 3, $i=3$ gives 5, $i=4$ gives 7, $i=5$ gives 9. Sum: $3+5+7+9=24$ .

Correct answer

Also accepted:

Why

Compute $2i-1$ at each index from 2 through 5 individually before adding them together.

What's the key difference between $3(x)$ and $f(x)$ ?

Correct! 🎉 Not quite.

They genuinely mean different operations — the test is what kind of symbol leads into the parentheses: a number vs. a function's name.

A function can do far more than just multiply by a constant — that's exactly why $f(x)$ notation exists, to represent an arbitrary process, not only scaling.

$3(x)$ is perfectly standard notation for $3 \cdot x$ , ordinary multiplication.

Why

The test is what precedes the parentheses: a number (like 3) directly next to parentheses always means multiplication. A function's name (like $f$ ) directly next to parentheses means "apply this function to the input," never multiplication.

Identify what kind of symbol sits directly before each set of parentheses — a number or a function's name.

Practice: Subscripts, sigma, delta, and f(x) at a glance (7 problems · doesn’t affect your progress)

In $a_3$ , what does the subscript 3 mean?

Correct! 🎉 Not quite.

Multiplication would need a different notation (like $3a$ or $a \cdot 3$ ) — a subscript positioned low and to the side is a label, not an operation.

A power would be written as a superscript, $a^3$ , positioned high and to the side — a subscript sits low, and means something entirely different.

Subscripts are completely standard, especially for naming terms in a sequence: $a_1, a_2, a_3, \ldots$

Why

A subscript is a label identifying which member of a numbered family you're referring to — $a_3$ means "the 3rd term named $a$ ," not an arithmetic operation on $a$ .

The 3rd term in a numbered family of a-values

Given $a_n=3n-1$ , find $a_5$ .

Correct! 🎉 Not quite.

Why

Substitute $n=5$ : $a_5=3(5)-1=14$ .

Correct answer

Also accepted:

Why

Compute the value of $\sum_{i=1}^{3} i^2$ .

Correct! 🎉 Not quite.

That's $\sum_{i=1}^3 i$ (no squaring) — this sum squares each term first.

That's just the last term, $3^2=9$ , not the full sum.

That's $(1+2+3)^2$ , squaring the total instead of squaring each term before adding.

Why

Square each index first, then add: $1^2+2^2+3^2=1+4+9=14$ .

Square each value of i individually before adding them together — don't add first and square the total.

The sum $\sum_{i=4}^{9} i$ has how many terms?

Correct! 🎉 Not quite.

Why

(top) $-$ (bottom) $+1 = 9-4+1=6$ terms: $i=4,5,6,7,8,9$ .

Correct answer

Also accepted:

Why

List out the actual index values the sum runs through, rather than just subtracting the two index numbers.

A car's odometer reads 340 at the start of a trip and 585 at the end. What is $\Delta(\text{odometer})$ ?

Correct! 🎉 Not quite.

Why

$\Delta =$ (ending) $-$ (starting) $=585-340=245$ .

Correct answer

Also accepted:

Why

Recall that $\Delta$ means (ending value) minus (starting value), in that order.

245

Which correctly distinguishes $g(4)$ from $4g$ ?

Correct! 🎉 Not quite.

They're genuinely different operations — one applies a function, the other multiplies.

There's no general size relationship — it depends entirely on what g actually is.

Both are valid, standard notation for two different things.

Why

A number immediately before parentheses/a variable means multiplication ( $4g$ ); a function's name immediately before parentheses means "apply the function" ( $g(4)$ ).

Identify what kind of symbol sits directly before each set of parentheses — a number or a function's name.

$g(4)$ applies the function g to input 4; $4g$ multiplies the number 4 by g

Why is $\theta$ a conventional choice for an unknown angle, even though both $\theta$ and $x$ are just placeholder variables?

Correct! 🎉 Not quite.

There's no extra mathematical power in $\theta$ — both are equally valid variables, capable of representing any value.

x could technically be used for an angle — the convention is about readability, not capability.

It's a genuinely useful convention: a reader can tell a problem is about angles from the symbol alone, before parsing any text.

Why

$\theta$ carries no extra mathematical power over x — the value is purely readability: a reader instantly knows "angle" from the symbol, the same way $n$ signals "a count" or $t$ signals "time."

Ask whether using x instead of $\theta$ would change any of the actual mathematics, or only how quickly a reader recognizes the topic.

It's purely a readability convention — seeing $\theta$ instantly signals "this problem involves rotation or angles" before reading further

You're ready

That's the entire notation toolkit for this course, front-loaded on purpose so nothing later catches you off guard. Every symbol from here forward (in every remaining chapter) is one you've now met in plain English first. When you hit something unfamiliar anyway, that's what the glossary is for.

One last gut-check before moving into Chapter 2: could you, right now, read $a_n$ , $|x|$ , $\sum_{i=1}^{n} i$ , $\theta$ , $\Delta x$ , and $f(x)$ out loud, in plain English, without hesitating? If any one of them still feels shaky, that's the habit from the very first section of this chapter paying off. Go back, say it out loud a few times, and check it against the worked examples above. There's no rush, and there's no partial credit for recognizing a shape without being able to say what it means. The whole rest of this course is built on being able to do that, automatically, every time.

Reading math notation

Subscripts: telling apart members of a family

Reading a subscripted family

Absolute value: distance from zero

Absolute Value

Drag the probe — watch |x| update

Absolute value of an expression, not just a bare number

Common mistake: |a - b| vs. |a| - |b|

Absolute value measures distance between two points, not just from zero

Distance between two points, neither one zero

Sigma: shorthand for a long sum

Sigma with a pattern, not just plain counting

Common mistake: miscounting how many terms \Sigma covers

Personal Finance

Greek letters you'll see

Reading Δx out loud

Naming the domain inside a set-builder rule

Reading a domain-qualified set-builder expression

Logic symbols: reading definitions and theorems

Reading a theorem-style implication out loud

Telling ∀ apart from ∃

Common mistake: reading \implies as reversible

A preview of function notation

f(x) as a machine, previewed

Telling f(x) apart from multiplication by eye

Why a fast-reference round-up like this one is worth doing

Reading several symbols from this round-up at once

You're ready

Insert an equation

Common mistake: $|a - b|$ vs. $|a| - |b|$

Common mistake: miscounting how many terms $\Sigma$ covers

Common mistake: reading $\implies$ as reversible