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.
Από την άλλη μεριά, ∀ x x → {\displaystyle \forall x\,x\to } δεν είναι τύπος, παρόλο που είναι μια σειρά από σύμβολα της αλφαβήτου.