On utilisera le symbole “ $:=$ ” pour définir des objets. Par exemple,
$A := {x \in 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$ ”.
“ $□$ ” 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...”.

Analyse I / GM

I.5 Symboles et conventions