Innanzitutto mi scuso per aver sbagliato sezione del forum, spero non accadrà più…
Nessun problema. Il forum sulla tipografia è per discutere questioni generali.
I simboli come \Leftrightarrow e \forall dovrebbero essere usati con moltissima parsimonia.
Come mai? Cosa posso usare in alternativa? Perchè nelle cose che devo scrivere ovviamente ricorrono spesso, soprattutto \forall…
Usa le parole. Quei simboli vanno bene scrivendo gli appunti a mano, come stenografia spicciola. Il guadagno di spazio è minimo e non vale la pena di oscurare il testo con simboli che non sono affatto più espliciti delle parole. Le doppie frecce,”per ogni” ed “esiste” vanno bene nelle formule della logica.
Qualche volta, per riassumere un ragionamento in una riga centrata, adotto le doppie frecce, quando le parole non aggiungono nulla. In tal caso però mai la versione “lunga”.
Nel tuo caso, poi, i quantificatori andavano prima delle formule, non dopo: ci guadagni in chiarezza, te l’assicuro.
Ciao
Enrico