On utilisera le symbole ''\(:=\)'' pour définir des objets. Par
exemple,
\[
A:= \{x\in \mathbb{Q}\,|\,x^2<2\}
\] signifie ''\(A\)
est défini par l'ensemble de tous les rationnels \(x\) dont le carré est
strictement inférieur à \(2\)''.
''\(\square\)'' est équivalent à ''C.Q.F.D'', et sera utilisé pour
indiquer la fin d'une démonstration.
''\(\exists\)'' signifie ''il existe...''.
''\(\exists !\)'' signifie ''il existe un/une unique...''.