On the other hand, ∀ x x → {\displaystyle \forall x\,x\rightarrow } is not a formula, although it is a string of symbols from the alphabet.
Naopak, ∀ x x → {\displaystyle \forall x\,x\rightarrow } není formule, ačkoli se jedná o řetězec znaků patřících do abecedy.