equal
deleted
inserted
replaced
53 |
53 |
54 |
54 |
55 \chardef\charbackquote=`\` |
55 \chardef\charbackquote=`\` |
56 \newcommand{\backquote}{\mbox{\tt\charbackquote}} |
56 \newcommand{\backquote}{\mbox{\tt\charbackquote}} |
57 |
57 |
58 \newcommand{\drv}{\mathrel{\vdash}} |
|
59 \newcommand{\edrv}{\mathop{\drv}\nolimits} |
|
60 \newcommand{\Or}{\mathrel{\;|\;}} |
|
61 |
|
62 \renewcommand{\vec}[1]{\overline{#1}} |
|
63 |
|
64 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
|
65 |
|
66 \pagestyle{headings} |
|
67 \sloppy |
|
68 \binperiod %%%treat . like a binary operator |
|
69 |
|
70 \renewcommand{\phi}{\varphi} |
|
71 |
|
72 |
58 |
73 \begin{document} |
59 \begin{document} |
74 |
60 |
75 \maketitle |
61 \maketitle |
76 |
62 |