mathbin, mathop, mathrel

ciao,

qual è la differenza tra i comandi \mathbin, \mathop e \mathrel? in quali casi ciascuno di essi va usato?

nel mio caso dovrei utilizzare il simbolo per la differenza simmetrica tra insiemi (A\Delta B), quelli per due connettivi logici (P\bot Q oppure P\top Q) e poi ancora quello per la relazione di divisibilità tra due interi (a|b).

\mathop serve per gli operatori come sin, log e simili.

\mathbin serve per i simboli di operazione

\mathrel serve per i simboli di relazione

`\newcommand{\symdiff}{\mathbin{\Delta}}
\newcommand{\binbot}{\mathbin{\bot}}
\newcommand{\bintop}{\mathbin{\top}}`
Per la divisibilità c’è già \mid; ma non mi risulta che \bot e \top siano usati come connettivi.

Ciao
Enrico