Logical Symbols that I use on my Latex documents

logical_symbols.tex

\newcommand{\NOT}{\neg}
\newcommand{\IMPLIES}{\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}}{=}}

\newcommand{\TOP}{\top}
\newcommand{\BOT}{\bot}
\newcommand{\CONS}{\circ}
\newcommand{\INCONS}{\bullet}