% some macros for tsw

\let\@forall\forall
\let\@exists\exists

\def\@quantifier#1{\operatorname*{#1}\@ifnextchar[{\@quantifier@}{}}
\def\@quantifier@[#1]{\@ifnextchar[{\@quantifier@@[#1]}{_{#1}}}
\def\@quantifier@@[#1][#2]{_{\genfrac..{0pt}{}{\scriptstyle\mathstrut
      #1}{\scriptstyle #2}}}

\def\forall{\@quantifier\@forall}
\def\exists{\@quantifier\@exists}

\def\f#1{\operatorname{#1}}

\let\eq\leftrightarrow
\let\impl\rightarrow
\let\conj\wedge
\let\disj\vee
\def\eqdef{:\stackrel{\textrm{def.}}\longleftrightarrow}

\let\set\mathbbm
\let\epsilon\varepsilon
\def\qed{\hfill\qquad\rule{1ex}{1ex}\quad\null}

\def\seq#1{\operatorname{seq}[#1]}
\def\conv#1{\operatorname{conv}[#1]}
