::
Concordo con Gloria. Ma anche in display non userei \forall dopo la formula quantificata (e in questo caso continuerei a usare le parole esplicite). Userei il simbolo solo prima, come nell’espressione [\forall x P x] e in questo caso dai anche un occhiata al pacchetto gn-logic14.
Gus
