Re: mathbin, mathop, mathrel

innanzitutto grazie per la risposta.

comunque per \mathbin\bot intendo quel connettivo che ha la seguente tabella di verità:

0\mathbin\bot 0\iff 0
0\mathbin\bot 1\iff 0
1\mathbin\bot 0\iff 0
1\mathbin\bot 1\iff 0

con \mathbin\top invece intendo il seguente connettivo:

0\mathbin\top 0\iff 1
0\mathbin\top 1\iff 1
1\mathbin\top 0\iff 1
1\mathbin\top 1\iff 1