Re: Spazio prima di \forall

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.

Ti ringrazio molto Gus per il consiglio e per la dritta sul pacchetto: sembra interessante, l’unica riserva è che è piuttosto datato (risale al 1995), e quindi magari può introdurre qualche effetto collaterale.

Ancora grazie.

Un salutone,
Lorenzo