%


\newcommand\vel{\vee}
\newcommand\ts{\vdash}
\newcommand\st{\dashv}
\newcommand\sts{\dashv\vdash}
\newcommand{\et}{\wedge}
%\newcommand{\et}{\,\&\,}
\newcommand{\etE}{\wedge\text{E}}
\newcommand{\etI}{\wedge\text{I}}
\newcommand{\vI}{\vee\text{I}}
\newcommand{\vE}{\vee\text{E}}
\newcommand{\onlyif}{\rightarrow}
\newcommand{\xor}{\,\,\overline{\vee}\,\,}
\newcommand{\point}{\textbf{.}} % single Russell-dot
\newcommand{\ppoint}{\textbf{:}} % double Russell-dots
\newcommand{\T}{\boldsymbol{\top}}
\newcommand{\B}{\boldsymbol{\bot}}
%
%\newcommand{\Russell}{\raisebox{.5em}{\rotatebox{180}{$\iota$}}}
\newcommand{\Russell}{\rotatebox[origin=c]{180}{$\iota$}}  %due to http://johnmacfarlane.net/142/latex.html  
%
%
%
\newcommand{\G}{G{\"o}del}
\newcommand{\na}{na{\"i}ve}
%\newcommand{\ni}{\noindent}
\newcommand{\jump}{\vspace{\baselineskip}}
\newcommand{\back}{\vspace{-\topsep}}
\newcommand{\suchthat}{\, | \,}
\newcommand{\Universe}{\mathbf{V}}
\newcommand{\Null}{\mathbf{\emptyset}}
%
%
%
%
\setlength{\unitlength}{1.00in}
%
%
