% Copy this file to forallxyyc-local.sty to get symbols like in the Logic Book

\def\eand{\ensuremath{\mathbin{\&}}}
\def\eif{\ensuremath{\mathbin{\supset}}}
\def\enot{\ensuremath{\mathord{\sim}}}
\def\eiff{\ensuremath{\mathbin{\equiv}}}

% The next line makes atomic formulas be Fxy instead of F(x,y)
% \newcommand{\atom}[2]{\mathord{#1}\args{#2}}