Símbolos em Latex para construir fórmulas em Lógica

Aqui vão alguns comandos que defino para simplificar a digitação de símbolos utilizados na construção de fórmulas lógicas em Latex:

\newcommand{\TOP}{\top}
\newcommand{\BOT}{\bot}
 \newcommand{\NOT}{\neg}
\newcommand{\CONS}{\circ}
\newcommand{\INCONS}{\bullet}
\newcommand{\IMP}{\to}
 \newcommand{\AND}{\wedge}
\newcommand{\OR}{\vee}
\newcommand{\BIMPLI}{\leftrightarrow}
\newcommand{\XOR}{\otimes}
 \newcommand{\T}{\begin{tt}T\end{tt}\, }
\newcommand{\F}{\begin{tt}F\end{tt}\, }
 \newcommand{\x}{\ensuremath{\times}}
\newcommand{\BIGOR}{\bigvee}		
\newcommand{\BIGAND}{\bigwedge}	
 \newcommand{\CR}{\vdash}
\newcommand{\SR}{\models}
\newcommand{\EQUALDEF}{\stackrel{\mbox{\tiny def}}{=}}

Veja exemplos de uso em :

http://monkeytex.bradcater.webfactional.com/editor/pdf/?uid=3322