equal
deleted
inserted
replaced
110 \newcommand\lbrakk{\mathopen{[\![}} |
110 \newcommand\lbrakk{\mathopen{[\![}} |
111 \newcommand\rbrakk{\mathclose{]\!]}} |
111 \newcommand\rbrakk{\mathclose{]\!]}} |
112 \newcommand\List[1]{\lbrakk#1\rbrakk} %was \obj |
112 \newcommand\List[1]{\lbrakk#1\rbrakk} %was \obj |
113 \newcommand\vpile[1]{\begin{array}{c}#1\end{array}} |
113 \newcommand\vpile[1]{\begin{array}{c}#1\end{array}} |
114 \newenvironment{matharray}[1]{\[\begin{array}{#1}}{\end{array}\]} |
114 \newenvironment{matharray}[1]{\[\begin{array}{#1}}{\end{array}\]} |
|
115 \newcommand{\text}[1]{\mbox{#1}} |
115 |
116 |
116 \let\int=\cap |
117 \let\int=\cap |
117 \let\un=\cup |
118 \let\un=\cup |
118 \let\inter=\bigcap |
119 \let\inter=\bigcap |
119 \let\union=\bigcup |
120 \let\union=\bigcup |