7808
|
1 |
|
|
2 |
\renewcommand{\isamarkupheader}[1]{\section{#1}}
|
7978
|
3 |
\newcommand{\isasymprod}{\emph{$\mult$}}
|
|
4 |
\newcommand{\isasymzero}{\emph{$\zero$}}
|
7927
|
5 |
|
7808
|
6 |
\newcommand{\idt}[1]{{\mathord{\mathit{#1}}}}
|
|
7 |
\newcommand{\var}[1]{{?\!#1}}
|
|
8 |
\DeclareMathSymbol{\dshsym}{\mathalpha}{letters}{"2D}
|
|
9 |
\newcommand{\dsh}{\dshsym}
|
|
10 |
|
7917
|
11 |
\newenvironment{matharray}[1]{\[\begin{array}{#1}}{\end{array}\]}
|
|
12 |
|
7808
|
13 |
\newcommand{\To}{\to}
|
|
14 |
\newcommand{\dt}{{\mathpunct.}}
|
7978
|
15 |
\newcommand{\Ex}[1]{\exists #1\dt\;}
|
7917
|
16 |
\newcommand{\Forall}{\forall}
|
|
17 |
\newcommand{\All}[1]{\Forall #1\dt\;}
|
|
18 |
\newcommand{\Eq}{\mathbin{\,\equiv\,}}
|
|
19 |
\newcommand{\Impl}{\Rightarrow}
|
|
20 |
\newcommand{\And}{\;\land\;}
|
|
21 |
\newcommand{\Or}{\;\lor\;}
|
|
22 |
\newcommand{\Le}{\le}
|
|
23 |
\newcommand{\Lt}{\lt}
|
|
24 |
\newcommand{\lam}[1]{\mathop{\lambda} #1\dt\;}
|
7978
|
25 |
\newcommand{\ap}{\mathpalette{\mathbin{\!}}{\mathbin{\!}}{\mathbin{}}{\mathbin{}}}
|
7927
|
26 |
\newcommand{\Union}{\bigcup}
|
7978
|
27 |
\newcommand{\Un}{\cup}
|
|
28 |
\newcommand{\Int}{\cap}
|
7917
|
29 |
|
7927
|
30 |
\newcommand{\norm}[1]{\left\|#1\right\|}
|
|
31 |
\newcommand{\fnorm}[1]{\left\|#1\right\|}
|
|
32 |
\newcommand{\zero}{\mathord{\mathbf 0}}
|
|
33 |
\newcommand{\plus}{\mathbin{\mathbf +}}
|
|
34 |
\newcommand{\minus}{\mathbin{\mathbf -}}
|
|
35 |
\newcommand{\mult}{\mathbin{\mathbf\odot}}
|
7917
|
36 |
|
7978
|
37 |
%%% Local Variables:
|
7808
|
38 |
%%% mode: latex
|
|
39 |
%%% TeX-master: "root"
|
7978
|
40 |
%%% End:
|