Re: SImboli logici

Ho fatto qualche tentativo, del resto niente di complicato,
e trovato utili materiali qui:
http://www.logicmatters.net/latex-for-logicians/
Poiché tuttavia devo entrare in modalità matematica
per avere i simboli che mi servono, le variabili che in genere
sono lettere (ad esempio, in uno dei casi più elementari,
$ p \leftrightarrow q$) risultano in “corsivo matematico”.
Come posso impostarle stabilmente in tondetto,
secondo l’uso, senza dover scrivere decine di volte \mathrm?

m