equal
deleted
inserted
replaced
1 %% |
1 %% |
2 %% Author: Markus Wenzel, TU Muenchen |
2 %% Author: Markus Wenzel, TU Muenchen |
3 %% |
3 %% |
4 %% definitions of standard Isabelle symbols |
4 %% definitions of standard Isabelle symbols |
5 %% |
5 %% |
|
6 %% |
6 |
7 |
7 % symbol definitions |
8 % symbol definitions |
8 |
9 |
9 \newcommand{\isasymzero}{\isamath{\mathbf{0}}} %requires amssymb |
10 \newcommand{\isasymzero}{\isamath{\mathbf{0}}} %requires amssymb |
10 \newcommand{\isasymone}{\isamath{\mathbf{1}}} %requires amssymb |
11 \newcommand{\isasymone}{\isamath{\mathbf{1}}} %requires amssymb |
217 \newcommand{\isasymAnd}{\isamath{\bigwedge}} |
218 \newcommand{\isasymAnd}{\isamath{\bigwedge}} |
218 \newcommand{\isasymor}{\isamath{\vee}} |
219 \newcommand{\isasymor}{\isamath{\vee}} |
219 \newcommand{\isasymOr}{\isamath{\bigvee}} |
220 \newcommand{\isasymOr}{\isamath{\bigvee}} |
220 \newcommand{\isasymforall}{\isamath{\forall\,}} |
221 \newcommand{\isasymforall}{\isamath{\forall\,}} |
221 \newcommand{\isasymexists}{\isamath{\exists\,}} |
222 \newcommand{\isasymexists}{\isamath{\exists\,}} |
|
223 \newcommand{\isasymnexists}{\isamath{\nexists\,}} %requires amssymb |
222 \newcommand{\isasymbox}{\isamath{\Box}} %requires amssymb |
224 \newcommand{\isasymbox}{\isamath{\Box}} %requires amssymb |
223 \newcommand{\isasymdiamond}{\isamath{\Diamond}} %requires amssymb |
225 \newcommand{\isasymdiamond}{\isamath{\Diamond}} %requires amssymb |
224 \newcommand{\isasymturnstile}{\isamath{\vdash}} |
226 \newcommand{\isasymturnstile}{\isamath{\vdash}} |
225 \newcommand{\isasymTurnstile}{\isamath{\models}} |
227 \newcommand{\isasymTurnstile}{\isamath{\models}} |
226 \newcommand{\isasymtturnstile}{\isamath{\vdash\!\!\!\vdash}} |
228 \newcommand{\isasymtturnstile}{\isamath{\vdash\!\!\!\vdash}} |