52 lines
1.3 KiB
TeX
52 lines
1.3 KiB
TeX
\W\newcommand{\langle}{<}
|
|
\W\newcommand{\rangle}{>}
|
|
|
|
\newcommand{\meta}[1]{{\noindent\mbox{\textrm{$\langle$#1$\rangle$}}}}
|
|
\newcommand{\hyper}[1]{\meta{#1}}
|
|
\newcommand{\hyperi}[1]{\hyper{#1$_1$}}
|
|
\newcommand{\hyperii}[1]{\hyper{#1$_2$}}
|
|
\newcommand{\hyperj}[1]{\hyper{#1$_i$}}
|
|
\newcommand{\hypern}[1]{\hyper{#1$_n$}}
|
|
\renewcommand{\var}[1]{\noindent\mbox{\textit{#1}}}
|
|
\newcommand{\vari}[1]{\var{#1$_1$}}
|
|
\newcommand{\varii}[1]{\var{#1$_2$}}
|
|
\newcommand{\variii}[1]{\var{#1$_3$}}
|
|
\newcommand{\variv}[1]{\var{#1$_4$}}
|
|
\newcommand{\varj}[1]{\var{#1$_j$}}
|
|
\newcommand{\varn}[1]{\var{#1$_n$}}
|
|
|
|
\W\newcommand{\frenchspacing}{}
|
|
\W\newcommand{\textnormal}[1]{#1}
|
|
|
|
\newcommand{\defining}[1]{{\emph{#1}}}
|
|
|
|
\newcommand{\exprtype}{syntax}
|
|
|
|
\W\newcommand{\unskip}{}
|
|
\W\newcommand{\textrm}[1]{#1}
|
|
|
|
\newcommand{\dotsfoo}{\ldots\texonly{\thinspace}}
|
|
|
|
\newcommand{\goesto}{%
|
|
\texonly{\hbox{$\longrightarrow$}}%
|
|
\htmlonly{\code{-->}}%
|
|
}
|
|
|
|
\newcommand{\xform}{%
|
|
\texonly{\hbox{$\Longrightarrow$}}%
|
|
\htmlonly{\code{--->}}%
|
|
}
|
|
|
|
\newcommand{\arbno}[1]{{{#1}$^*$}}
|
|
\newcommand{\hack}{Scheme~48}
|
|
|
|
\T\newcommand{\alt}{$\vert$}
|
|
\W\newcommand{\alt}{|}
|
|
|
|
\T\newcommand{\ok}{\discretionary{}{}{}}
|
|
\W\newcommand{\ok}{}
|
|
|
|
\T\newcommand{\syn}[1]{{\noindent\mbox{\textrm{$\langle$#1$\rangle$}}}}
|
|
\W\newcommand{\syn}[1]{{\noindent\mbox{$\langle$#1$\rangle$}}}
|
|
|