20 lines
578 B
PHP
20 lines
578 B
PHP
\newcommand{\ie}{i.\,e.\ }
|
|
\newcommand{\eg}{e.\,g.\ }
|
|
\newcommand{\wrt}{w.\,r.\,t.\ }
|
|
\newcommand{\aka}{a.\,k.\,a.\ }
|
|
\newcommand{\cf}{cf.\ }
|
|
\newcommand{\etc}{etc.\ }
|
|
\newcommand{\entails}{\vdash}
|
|
\newcommand{\hol}[1]{\texttt{#1}}
|
|
\newcommand{\ml}[1]{\texttt{#1}}
|
|
\newcommand{\textbsl}{\char`\\{}}
|
|
\newcommand{\holAnd}{/\textbsl{}}
|
|
\newcommand{\holOr}{\textbsl{}/}
|
|
\newcommand{\holLambda}{\textbsl{}}
|
|
\newcommand{\holImp}{==>}
|
|
\newcommand{\holEquiv}{<=>}
|
|
\newcommand{\holNeg}{\raisebox{0.5ex}{\texttildelow}}
|
|
|
|
|
|
\newcommand{\webversion}[2]{\ifdefined\ttwebflag #1 \else #2 \fi}
|