hat
∀ n ( n ∈ N ⇒ n ≥ 0 ) {\displaystyle \forall n\,(n\in \mathbb {N} \Rightarrow n\geq 0)} Kèlkeswa n se yon antye natirèl, n pi gran pase oswa egal a zewo.
fra
∀ n ( n ∈ N ⇒ n ≥ 0 ) {\displaystyle \forall n\,(n\in \mathbb {N} \Rightarrow n\geq 0)} Quel que soit n entier naturel, n est supérieur ou égal à zéro.