equal
deleted
inserted
replaced
1 %% |
|
2 %% |
|
3 %% |
1 %% |
4 %% definitions of standard Isabelle symbols |
2 %% definitions of standard Isabelle symbols |
5 %% |
3 %% |
6 |
4 |
7 \newcommand{\isasymzero}{\isamath{\mathbf{0}}} %requires amssymb |
5 \newcommand{\isasymzero}{\isamath{\mathbf{0}}} %requires amssymb |
249 \newcommand{\isasymunion}{\isamath{\cup}} |
247 \newcommand{\isasymunion}{\isamath{\cup}} |
250 \newcommand{\isasymUnion}{\isamath{\bigcup\,}} |
248 \newcommand{\isasymUnion}{\isamath{\bigcup\,}} |
251 \newcommand{\isasymsqunion}{\isamath{\sqcup}} |
249 \newcommand{\isasymsqunion}{\isamath{\sqcup}} |
252 \newcommand{\isasymSqunion}{\isamath{\bigsqcup\,}} |
250 \newcommand{\isasymSqunion}{\isamath{\bigsqcup\,}} |
253 \newcommand{\isasymsqinter}{\isamath{\sqcap}} |
251 \newcommand{\isasymsqinter}{\isamath{\sqcap}} |
254 \newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}} %requires amsmath |
252 \newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}} %requires stmaryrd |
255 \newcommand{\isasymsetminus}{\isamath{\setminus}} |
253 \newcommand{\isasymsetminus}{\isamath{\setminus}} |
256 \newcommand{\isasympropto}{\isamath{\propto}} |
254 \newcommand{\isasympropto}{\isamath{\propto}} |
257 \newcommand{\isasymuplus}{\isamath{\uplus}} |
255 \newcommand{\isasymuplus}{\isamath{\uplus}} |
258 \newcommand{\isasymUplus}{\isamath{\biguplus\,}} |
256 \newcommand{\isasymUplus}{\isamath{\biguplus\,}} |
259 \newcommand{\isasymnoteq}{\isamath{\not=}} |
257 \newcommand{\isasymnoteq}{\isamath{\not=}} |