Mathematical notation for A-level

Mathematical notation you need for A-level

Much of the mathematical notation that you need to know for A-level, you’ll already have come across at GCSE, but there are some symbols that you may not be familiar with and others that you certainly won’t have used before studying Maths at A-level.

You can find an exhaustive list in the appendices to the specification published by your exam board – Edexcel (9MA0), AQA (7357), OCR (H240) and OCR/MEI (H640) – but I’m going to provide a little more explanation for the ones that you’re most likely to come across.

The images used here are taken from the Edexcel spec, but the list is the same for all.

This article covers set notation and miscellaneous symbols that don’t fit into any other category. Here are links for other parts:
Part 2: Other Pure Maths notation
Part 3: Vectors, Statistics and Mechanics

Set notation

It’s likely that you’ll have come across some set notation at GCSE, such as the union and intersect symbols, and listing the members of a set enclosed in curly brackets, but there are more symbols you need to understand.

Mathematical notation: set notation

1.1 to 1.4 and 1.11 to 1.15 Number types and relationships

Let’s start with the mathematical notation for different number types.

\mathbb{R} is the set of real numbers – in other words any number that doesn’t involve the square root of a negative value. This covers all the numbers that you’ll be dealing with in A-level Maths. If you study Further Maths at A-level then you’ll also be dealing with imaginary numbers (where the imaginary number i = \sqrt{-1} ), but you don’t need to worry about those for the single A-level.

\mathbb{Q} is the set of rational numbers: numbers that can be written as a ratio or fraction, i.e. one value divided by another. Think of it as Q for Quotient; the quotient is what you get when you divide one value by another. For example, \frac{22}{7} is a rational number sometimes used as an approximation for π, which is irrational.

\mathbb{Z} is the set of integers, i.e. whole numbers, including zero and negative integers. It can be modified by adding a superscript “+” to specify the inclusion of only positive values, and a subscript “0” to include 0 as well.

\mathbb{N} is the set of natural numbers, i.e. the numbers that you count with. This is exactly the same as the set of positive integers, \mathbb{Z}^{+}.
(Some definitions of \mathbb{N} include zero but the English A-level doesn’t.)

We can use the symbols 1.1 to 1.4 to show the relationships between the sets. For example:

\mathbb{Z} \subset \mathbb{R} – the set of integers is a proper subset of the set of real numbers, i.e. all integers are real, but not all real numbers are integers.

It could also be said that \mathbb{N} \subseteq \mathbb{Z}^{+}: All natural numbers are positive integers. In fact it also goes the other way – all positive integers are natural numbers – so you could just use = instead of \subseteq.

The relationship between \subset and \subseteq is equivalent to the relationship between the exclusive inequality < and the inclusive one \le.

And the \in symbol indicates membership of a set: 4.7 \in \mathbb{Q} but 4.7 \notin \mathbb{Z} , i.e. 4.7 is a rational number (it can be written as, for example, \frac{47}{10} ) but not an integer.

1.6 to 1.8 Answers using set notation

If you’re asked to give the answer to an inequality question using set notation then this is the form of mathematical notation that you should use. Let’s say you’ve solved your inequality and found that x has to be greater than 2 and less than or equal to 7. You’d normally write this solution as 2 < x \le 7 but in set notation it would look like this:
\{x : 2 < x \le 7\}
which alternatively could be written using the \cap (intersect or AND) symbol as
\{x : x > 2 \; \;  \cap \; \;  x \le 7\}

It’s implied that x is a real number, so you can usually omit x \in \mathbb{R} , but if it has to be an integer then you should include that too:
\{x : x \in \mathbb{Z}, \;  2 < x \le 7\}

On the other hand, if x had to be either less than or equal to 2, or greater than 7 (and of course couldn’t be both at the same time), then you’d use the \cup (union or OR) symbol and write
\{x : x \le 2 \; \; \cup \; \; x>7\}.

1.20 to 1.23 Inclusive and exclusive inequalities

Finally (for this section) we have an alternative form of mathematical notation used to indicate inclusive and exclusive inequalities. A round bracket indicates an exclusive inequality and a square one is inclusive.

So (2, 7] is an alternative way of writing 2 < x \le 7 , meaning that x can take any value from 2 to 7, including 7 but not including 2.

You sometimes see this notation used in mark schemes to indicate what range of answers is acceptable, so although you’re not required to use it yourself, it can be useful to know what it means!

Miscellaneous symbols

Mathematical notation: miscellaneous symbols

2.1 to 2.4 Equivalence

The main difference between = and \equiv is that = can be used where a relationship is true only for certain values of the variables, whereas \equiv indicates that two expressions are just different ways of writing the same thing, regardless of the values of any variables involved. This is the definition of an identity, which is a word you should be familiar with from GCSE.

So it would not be appropriate to use the \equiv symbol in p+5 = 8 because the expression is only true when the value of p is 3.
However, p + 2p \equiv 3p – you can use the \equiv symbol here because p+2p is the same as 3p no matter what the value of p is.

2.7 to 2.8 and 2.13 to 2.15: Therefore, because and implies

The mathematical symbols for “therefore” ( \therefore ) and “implies” ( \Rightarrow ) are very useful in writing out proofs. These two symbols are usually interchangeable, and are used in the case where, if A is true, then B must be true. For example:
x=3 \qquad \therefore x^{2}=9
x=3 \qquad \Rightarrow \qquad x^{2}=9

Equally, you could say that x^{2}=9 BECAUSE x=3:
x^{2}=9 \qquad \because x=3

However, note that it doesn’t go the other way: if x^{2}=9 then that doesn’t necessarily mean that x=3; you could also have got 9 by squaring -3.

On the other hand,
x+5=8 \qquad \therefore x=3
x+5=8 \qquad \Rightarrow \qquad x=3
is also true going in the other direction – if x = 3 then x + 5 will always be 8 – so the “implies” arrow could point in both directions:
x+5=8 \qquad \Leftrightarrow \qquad x=3

Which way(s) should the “implies” arrow go in each of these cases?

  1. b = -2 \qquad \Rightarrow / \Leftarrow / \Leftrightarrow \qquad b^{3} = -8
  2. The shape is a square \qquad \Rightarrow / \Leftarrow / \Leftrightarrow \qquad The shape is a rectangle
  3. x^{2} \in \mathbb{Z} \qquad \Rightarrow / \Leftarrow / \Leftrightarrow \qquad x \in \mathbb{Z}
  4. n+1 is odd \qquad \Rightarrow / \Leftarrow / \Leftrightarrow  \qquad n^{2}+1 is odd


  1. Both ways; (-2)^{3} = -8 and \sqrt[3]{-8} = -2
  2. To the right; all squares are rectangles but not all rectangles are squares
  3. To the left; if x is an integer then you’ll get another integer when you square it, but x will only be an integer if x^2 is a square number. Not all integers have integers as their square roots.
  4. Both ways; If n+1 is odd then n must be even, therefore n^{2} must be even and so n^{2}+1 is odd.
    Similarly, if n^{2}+1 is odd then n^{2} is even, which means it must have a repeated factor of 2, so its square root must also have a factor of 2, i.e. must be even, and so n+1 must be odd.

One more symbol that isn’t listed, but that you may encounter in text books or online examples not specifically aimed at this particular qualification, is \forall, which means “for all”. For example, \forall \; n \in \mathbb{Z} means “for all integer values of n“.

That’s all for this article. You can find the next one (covering most of the remaining mathematical notation for Pure Maths) here, and the one covering Vectors, Statistics and Mechanics here.

If you’ve found this article helpful then please share it with anyone else who you think would benefit (use the social sharing buttons if you like). If you have any suggestions for improvement or other topics that you’d like to see covered, then please comment below or drop me a line using my contact form.

On my sister site at at you can find – among other things – a great-value suite of courses covering the entire GCSE (and Edexcel IGCSE) Foundation content, and the “Flying Start to A-level Maths” course for those who want to get top grades at GCSE and hit the ground running at A-level – please take a look!

If you’d like to be kept up to date with my new content then please sign up to my mailing list using the form at the bottom of this page, which will also give you access to my collection of free downloads.

Please share this if you find it helpful!
Pin Share

Leave a Reply

Your email address will not be published. Required fields are marked *