equal
deleted
inserted
replaced
92 \let\bimp=\leftrightarrow |
92 \let\bimp=\leftrightarrow |
93 \newcommand\all[1]{\forall#1.} %quantification |
93 \newcommand\all[1]{\forall#1.} %quantification |
94 \newcommand\ex[1]{\exists#1.} |
94 \newcommand\ex[1]{\exists#1.} |
95 \newcommand{\pair}[1]{\langle#1\rangle} |
95 \newcommand{\pair}[1]{\langle#1\rangle} |
96 |
96 |
|
97 \newcommand{\lparr}{\mathopen{(\!|}} |
|
98 \newcommand{\rparr}{\mathclose{|\!)}} |
|
99 \newcommand{\fs}{\mathpunct{,\,}} |
|
100 \newcommand{\ty}{\mathrel{::}} |
|
101 \newcommand{\asn}{\mathrel{:=}} |
|
102 \newcommand{\more}{\ldots} |
|
103 \newcommand{\record}[1]{\lparr #1 \rparr} |
|
104 |
97 \newcommand\lbrakk{\mathopen{[\![}} |
105 \newcommand\lbrakk{\mathopen{[\![}} |
98 \newcommand\rbrakk{\mathclose{]\!]}} |
106 \newcommand\rbrakk{\mathclose{]\!]}} |
99 \newcommand\List[1]{\lbrakk#1\rbrakk} %was \obj |
107 \newcommand\List[1]{\lbrakk#1\rbrakk} %was \obj |
100 \newcommand\vpile[1]{\begin{array}{c}#1\end{array}} |
108 \newcommand\vpile[1]{\begin{array}{c}#1\end{array}} |
|
109 \newenvironment{matharray}[1]{\[\begin{array}{#1}}{\end{array}\]} |
101 |
110 |
102 \let\int=\cap |
111 \let\int=\cap |
103 \let\un=\cup |
112 \let\un=\cup |
104 \let\inter=\bigcap |
113 \let\inter=\bigcap |
105 \let\union=\bigcup |
114 \let\union=\bigcup |