::
leon_89″ post=95933si Ivan, esatto è inteso come relazione di soddisfacibilità
In questo caso lascerei \mathrel, con il formato di default, corsivo.
Per quanto riguarda tr, invece, non dovrebbero esserci problemi.
Mi pare che sia una variabile, non un operatore.
Ciao
Ivan
