equal
deleted
inserted
replaced
18 \newcommand{\dt}{{\mathpunct.}} |
18 \newcommand{\dt}{{\mathpunct.}} |
19 \newcommand{\ap}{\mathbin{\!}} |
19 \newcommand{\ap}{\mathbin{\!}} |
20 \newcommand{\lam}[1]{\mathop{\lambda} #1\dt\;} |
20 \newcommand{\lam}[1]{\mathop{\lambda} #1\dt\;} |
21 \newcommand{\all}[1]{\forall #1\dt\;} |
21 \newcommand{\all}[1]{\forall #1\dt\;} |
22 \newcommand{\ex}[1]{\exists #1\dt\;} |
22 \newcommand{\ex}[1]{\exists #1\dt\;} |
|
23 \newcommand{\impl}{\rightarrow} |
|
24 \newcommand{\conj}{\land} |
|
25 |
23 |
26 |
24 %%% Local Variables: |
27 %%% Local Variables: |
25 %%% mode: latex |
28 %%% mode: latex |
26 %%% TeX-master: "root" |
29 %%% TeX-master: "root" |
27 %%% End: |
30 %%% End: |