Mathematical language and notation

Mathematical notation compresses precise ideas into a small space. The expression

$$\forall x\in\mathbb R,\quad x^2\geq 0$$

means “for every real number $x$, the square of $x$ is greater than or equal to zero”. Every symbol contributes information. Reading mathematics well means expanding that compressed statement accurately before trying to use it.

This lesson introduces the language used across A level Mathematics. It is a reference as well as a first lesson, so return to it whenever an unfamiliar symbol appears.

Before you start

You should be able to:

• use the four arithmetic operations and negative numbers
• recognise fractions, decimals, powers and roots
• substitute a number for a letter
• compare numbers using $<$ and $>$

Review exact arithmetic or algebraic fluency if those skills are uncertain.

Expressions, equations, formulae and identities

These words are not interchangeable.

Object	Meaning	Example
Expression	A mathematical quantity, with no assertion that two things are equal	$3x^2-5x+1$
Equation	A statement that two expressions are equal for particular value or values	$3x+1=10$
Formula	An equation expressing a relationship between quantities	$A=\pi r^2$
Identity	An equality true for every permitted value of its variables	$(a+b)^2\equiv a^2+2ab+b^2$
Inequality	A comparison rather than an equality	$2x+1<7$

In the equation $3x+1=10$, $x=3$ is a solution because substitution gives the true statement $10=10$. Most other values make the equation false.

By contrast,

$$(x+1)^2\equiv x^2+2x+1$$

is true for every real $x$. The symbol $\equiv$ emphasises that it is an identity. Some texts use $=$ for identities too, so the context remains important.

Worked example 1: classify each statement

Classify each item.

1. $5t-4$
2. $5t-4=11$
3. $s=ut+\frac12at^2$
4. $2(x+3)\equiv2x+6$

The first is an expression because it does not make a claim. The second is an equation, true when $t=3$. The third is a formula relating displacement, initial velocity, time and acceleration. The fourth is an identity because expanding the left side gives the right side for every $x$.

An expression cannot be solved

The instruction “solve $3x+6$” is incomplete. You can simplify or factorise an expression, but solving requires an equation or inequality, such as $3x+6=0$ or $3x+6>0$.

Equality, approximation and definition

Choose the relation symbol that states what is actually known.

Symbol	Read as	Example
$=$	is equal to	$\frac12=0.5$
$\ne$	is not equal to	$\sqrt2\ne1.4$
$\approx$	is approximately equal to	$\sqrt2\approx1.414$
$\equiv$	is identically equal to, or is congruent to in another context	$\sin^2x+\cos^2x\equiv1$
$:=$	is defined to be	$f(x):=x^2+1$
$\propto$	is proportional to	$y\propto x^2$

An exact value and a decimal approximation are different objects:

$$\frac{2\pi}{3}\approx2.094.$$

Writing $2\pi/3=2.094$ incorrectly claims exact equality. Retain exact values during working unless a decimal is requested, then round only the final answer.

The statement $y\propto x^2$ does not mean $y=x^2$. It means that there is a constant $k$ such that

$$y=kx^2.$$

If $y=20$ when $x=2$, then

$$20=k(2^2)\quad\Longrightarrow\quad k=5,$$

so the full relationship is $y=5x^2$.

Letters, subscripts and conventions

A letter can play several roles.

• A variable can take different values, as $x$ does in $y=x^2$.
• An unknown is a value to be found, as $x$ is in $2x+3=11$.
• A constant has a fixed value within the problem. In $y=mx+c$, $m$ and $c$ are constants for a particular straight line.
• A parameter labels a family of objects. In $y=x^2+k$, changing $k$ selects a different curve.

The role comes from context, not from the letter itself. Greek letters are ordinary mathematical symbols too. Common examples include angle $\theta$, summation index limits involving $\alpha$ or $\beta$, mean $\mu$, standard deviation $\sigma$, and the constant $\pi$.

Subscripts distinguish related quantities:

$$x_1,x_2,x_3,\ldots,x_n.$$

Here $x_2$ is read “x sub two”. It is not $x\times2$, and $x_n$ is not generally $x^n$.

Multiplication is usually written without a sign:

$$a\times b=ab,qquad 3\times x=3x,qquad x\times x=x^2.$$

But $23$ means twenty three, not $2\times3$. A multiplication sign or brackets are needed between numerical factors.

Number sets and membership

The symbol $\in$ means “is an element of” or “belongs to”. The symbol $\notin$ means “does not belong to”.

Set	Meaning	Examples
$\mathbb N$	Natural numbers	$1,2,3,\ldots$
$\mathbb Z$	Integers	$\ldots,-2,-1,0,1,2,\ldots$
$\mathbb Q$	Rational numbers	$-3,\frac27,0.125,0.\dot3$
$\mathbb R$	Real numbers	all points on the number line

Conventions differ on whether $0\in\mathbb N$. If zero matters, state the intended set explicitly, for example $\{0,1,2,\ldots\}$ or $\{1,2,3,\ldots\}$.

A rational number can be written as

$$\frac pq,\qquad p,q\in\mathbb Z,\quad q\ne0.$$

Terminating and recurring decimals are rational. Numbers such as $\sqrt2$, $\pi$ and $e$ are irrational, but they are real. Thus

$$\mathbb N\subset\mathbb Z\subset\mathbb Q\subset\mathbb R,$$

where $\subset$ means “is a subset of”.

Worked example 2: state the smallest standard set

For each number, give the smallest set in the table to which it belongs.

$$-7,qquad \frac{12}{4},qquad \frac58,qquad \sqrt5.$$

• $-7\in\mathbb Z$, but $-7\notin\mathbb N$.
• $12/4=3$, so $12/4\in\mathbb N$. Classify the value, not its written appearance.
• $5/8\in\mathbb Q$, but it is not an integer.
• $\sqrt5\in\mathbb R$, but $\sqrt5\notin\mathbb Q$.

Sets and set builder notation

Braces list the elements of a set:

$$A=\{2,4,6,8\}.$$

Order and repetition do not matter, so $\{1,2,2,3\}=\{3,2,1\}$. The empty set is $\varnothing$.

Set builder notation describes elements by a rule:

$$\{x\in\mathbb R:x>3\}.$$

Read the colon as “such that”: the set of real numbers $x$ such that $x>3$. A vertical bar is also used:

$$\{n\in\mathbb Z\mid -2\leq n<3\}=\{-2,-1,0,1,2\}.$$

For sets $A$ and $B$:

$$A\cup B$$

is their union, containing elements in $A$ or $B$ or both, while

$$A\cap B$$

is their intersection, containing elements in both.

Worked example 3: union and intersection

Let

$$A=\{1,2,3,4\},\qquad B=\{3,4,5\}.$$

Then

$$A\cup B=\{1,2,3,4,5\}$$

and

$$A\cap B=\{3,4\}.$$

In ordinary mathematical language, “or” is normally inclusive: an element in both sets still belongs to the union.

Inequalities and interval notation

The symbols $<$ and $>$ exclude the endpoint. The symbols $\leq$ and $\geq$ include it.

$$-2\leq x<5$$

means that $x$ is at least $-2$ and less than $5$. The same set can be written as the interval

$$[-2,5).$$

A square bracket includes an endpoint. A round bracket excludes it. Infinity is never an attainable endpoint, so it always receives a round bracket.

Inequality	Interval
$a<x<b$	$(a,b)$
$a\leq x\leq b$	$[a,b]$
$x\geq a$	$[a,\infty)$
$x<b$	$(-\infty,b)$

Worked example 4: combine restrictions

Write $x\leq-1$ or $2<x<6$ in interval notation.

The first part gives $(-\infty,-1]$. The second gives $(2,6)$. Since either interval is allowed, take their union:

$$(-\infty,-1]\cup(2,6).$$

The endpoint $-1$ is included, while $2$ and $6$ are excluded.

For the techniques used to solve such statements, study inequalities.

Implication and equivalence

The implication

$$P\implies Q$$

means “if $P$ is true, then $Q$ is true”. It does not automatically run backwards.

For an integer $n$,

$$n\text{ is divisible by }4\implies n\text{ is even}$$

is true. Its converse is false because $6$ is even but is not divisible by $4$.

The double implication

$$P\iff Q$$

means ”$P$ if and only if $Q$”. Both directions must be true. For example,

$$n\text{ is even}\iff n^2\text{ is even},\qquad n\in\mathbb Z.$$

The words necessary and sufficient describe direction:

$$P\implies Q$$

means $P$ is sufficient for $Q$, and $Q$ is necessary for $P$. Being divisible by $4$ is sufficient, but not necessary, for an integer to be even.

Worked example 5: follow an implication chain

Suppose $x>3$. What can be concluded about $x^2$?

Since $x>3$, both sides are positive. Squaring preserves the order:

$$x>3\implies x^2>9.$$

The reverse implication is not valid over $\mathbb R$. If $x=-4$, then $x^2=16>9$, but $x>3$ is false. The correct equivalence is

$$x^2>9\iff x<-3\text{ or }x>3.$$

Do not reverse an arrow casually

From $P\implies Q$, you may not infer $Q\implies P$. To use $\iff$, establish both directions or apply a known reversible operation under the stated conditions.

Quantifiers: every and at least one

Two symbols express how many cases a statement covers:

$$\forall \quad\text{means "for every"}, \qquad \exists \quad\text{means "there exists"}.$$

Compare:

$$\forall x\in\mathbb R,\quad x^2\geq0$$

and

$$\exists x\in\mathbb R\text{ such that }x^2=4.$$

The first covers every real number. The second claims only that at least one suitable real number exists. In fact $x=2$ and $x=-2$ both work, but one is enough to establish existence.

Negating a quantified statement switches the quantifier:

$$\neg(\forall x,\ P(x))\iff\exists x\text{ such that }\neg P(x),$$ $$\neg(\exists x,\ P(x))\iff\forall x,\ \neg P(x).$$

In words, “not every” means “at least one does not”, while “there is no” means “every one fails”.

Worked example 6: negate precisely

Negate the statement:

For every real number $x$, if $x>0$, then $x^2>1$.

To show that a universal implication fails, one case must satisfy the condition but fail the conclusion. The negation is:

There exists a real number $x$ such that $x>0$ and $x^2\leq1$.

For example, $x=\frac12$ confirms that the original statement is false. Notice that the negation of $x^2>1$ is $x^2\leq1$, not merely $x^2<1$.

These ideas become proof methods in mathematical proof and disproof by counterexample.

Conditions and domains matter

A statement is only meaningful on its stated domain, the set of permitted inputs. For the real function

$$f(x)=\frac{\sqrt{x-1}}{x-3},$$

two restrictions apply:

1. The square root requires $x-1\geq0$, so $x\geq1$.
2. The denominator cannot be zero, so $x\ne3$.

Therefore the domain is

$$[1,3)\cup(3,\infty).$$

It is not enough to write $x\geq1$: that would incorrectly include $x=3$. Learn more in function notation and algebraic fractions.

Reading a dense statement step by step

Consider

$$\forall n\in\mathbb Z,\quad n^2\text{ even}\implies n\text{ even}.$$

Unpack it in this order:

1. Quantifier: every value is covered.
2. Domain: $n$ must be an integer.
3. Hypothesis: $n^2$ is even.
4. Conclusion: $n$ is even.
5. Direction: the arrow runs from the square being even to the original integer being even.

This gives: “For every integer $n$, if $n^2$ is even, then $n$ is even.”

Do not begin manipulating symbols until you know what the statement claims. A useful written habit is to mark the givens, restrictions and target before calculating.

Common notation errors

Error	Why it fails	Better statement
$\sqrt2=1.414$	A rounded decimal is not exact	$\sqrt2\approx1.414$
$x=2,3$	Ambiguous notation	$x=2$ or $x=3$, or $x\in\{2,3\}$
$1<x<5=4$	An equality chain says every linked expression is equal	Write $1<x<5$, then state the four integer values separately
$x^2=9\implies x=3$	The negative root is lost	$x^2=9\implies x=3$ or $x=-3$
$1/0=\infty$	Division by zero is undefined	State that $x\ne0$ before dividing by $x$
$\forall x,\ x^2>0$	The domain is unstated and $x=0$ fails	$\forall x\in\mathbb R,\ x^2\geq0$

Self check

1. Translate into words

Translate

$$\exists n\in\mathbb Z\text{ such that }n^2=25.$$

Answer

There exists an integer $n$ whose square is $25$. For example, $n=5$ satisfies the statement.

2. Translate into symbols

Write in symbols: “Every real number greater than $4$ has a square greater than $16$.“

Answer

$$\forall x\in\mathbb R,\quad x>4\implies x^2>16.$$

3. Use interval notation

Write $-3<x\leq2$ in interval notation.

Answer

$$(-3,2].$$

The round bracket excludes $-3$ and the square bracket includes $2$.

4. Distinguish implication from equivalence

For $x\in\mathbb R$, decide whether

$$x=4\implies x^2=16$$

can be replaced by $\iff$.

Answer

No. The forward implication is true, but $x^2=16$ also has the solution $x=-4$. Therefore $x^2=16$ does not imply $x=4$.

5. Find the domain

State the real domain of

$$g(x)=\frac{1}{\sqrt{x+2}}.$$

Answer

The square root requires $x+2\geq0$, but the denominator must also be nonzero. Therefore $x+2>0$, so

$$x>-2,$$

or, in interval notation, $(-2,\infty)$.

6. Negate a claim

Negate: “Every integer is positive.”

Answer

There exists an integer that is not positive. Symbolically,

$$\exists n\in\mathbb Z\text{ such that }n\leq0.$$

For example, $n=0$.

What to study next

• Use this notation in complete mathematical sentences in reading and writing mathematics.
• Strengthen symbolic manipulation with algebraic fluency.
• Develop implications, quantifiers and counterexamples in proof and reasoning.
• Apply variables and assumptions to real situations in mathematical modelling.

The central habit is simple: read every symbol, state every restriction, and use an equality or implication sign only when the relationship it claims is valid.