Last update: Sat Mar 2 02:18:53 MST 2019
@Preamble{
"\ifx \undefined \? \def \?{??}\fi" #
"\ifx \undefined \booktitle \def \booktitle#1{{{\em #1}}} \fi" #
"\ifx \undefined \flqq \def \flqq {\ifmmode \ll \else \leavevmode \raise 0.2ex \hbox{$\scriptscriptstyle \ll $}\fi}\fi" #
"\ifx \undefined \frqq \def \frqq {\ifmmode \gg \else \leavevmode \raise 0.2ex \hbox{$\scriptscriptstyle \gg $}\fi}\fi" #
"\ifx \undefined \mathcal \def \mathcal #1{{\cal 1}}\fi" #
"\ifx \undefined \mathfrak \let \mathfrak = \mathcal \fi" #
"\ifx \undefined \Vdash \def \Vdash{\hbox{[Vdash]}} \fi"
}