1 %% |
1 %% |
2 %% Author: Markus Wenzel, TU Muenchen |
2 %% |
3 %% |
3 %% |
4 %% definitions of standard Isabelle symbols |
4 %% definitions of standard Isabelle symbols |
5 %% |
5 %% |
6 %% |
|
7 |
|
8 % symbol definitions |
|
9 |
6 |
10 \newcommand{\isasymzero}{\isamath{\mathbf{0}}} %requires amssymb |
7 \newcommand{\isasymzero}{\isamath{\mathbf{0}}} %requires amssymb |
11 \newcommand{\isasymone}{\isamath{\mathbf{1}}} %requires amssymb |
8 \newcommand{\isasymone}{\isamath{\mathbf{1}}} %requires amssymb |
12 \newcommand{\isasymtwo}{\isamath{\mathbf{2}}} %requires amssymb |
9 \newcommand{\isasymtwo}{\isamath{\mathbf{2}}} %requires amssymb |
13 \newcommand{\isasymthree}{\isamath{\mathbf{3}}} %requires amssymb |
10 \newcommand{\isasymthree}{\isamath{\mathbf{3}}} %requires amssymb |
14 \newcommand{\isasymfour}{\isamath{\mathbf{4}}} %requires amssymb |
11 \newcommand{\isasymfour}{\isamath{\mathbf{4}}} %requires amssymb |
15 \newcommand{\isasymfive}{\isamath{\mathbf{5}}} %requires amssymb |
12 \newcommand{\isasymfive}{\isamath{\mathbf{5}}} %requires amssymb |
16 \newcommand{\isasymsix}{\isamath{\mathbf{6}}} %requires amssymb |
13 \newcommand{\isasymsix}{\isamath{\mathbf{6}}} %requires amssymb |
17 \newcommand{\isasymseven}{\isamath{\mathbf{7}}} %requires amssymb |
14 \newcommand{\isasymseven}{\isamath{\mathbf{7}}} %requires amssymb |
18 \newcommand{\isasymeight}{\isamath{\mathbf{8}}} %requires amssymb |
15 \newcommand{\isasymeight}{\isamath{\mathbf{8}}} %requires amssymb |
19 \newcommand{\isasymnine}{\isamath{\mathbf{9}}} %requires amssymb |
16 \newcommand{\isasymnine}{\isamath{\mathbf{9}}} %requires amssymb |
20 \newcommand{\isasymA}{\isamath{\mathcal{A}}} |
17 \newcommand{\isasymA}{\isamath{\mathcal{A}}} |
21 \newcommand{\isasymB}{\isamath{\mathcal{B}}} |
18 \newcommand{\isasymB}{\isamath{\mathcal{B}}} |
22 \newcommand{\isasymC}{\isamath{\mathcal{C}}} |
19 \newcommand{\isasymC}{\isamath{\mathcal{C}}} |
23 \newcommand{\isasymD}{\isamath{\mathcal{D}}} |
20 \newcommand{\isasymD}{\isamath{\mathcal{D}}} |
206 \newcommand{\isasymrparr}{\isamath{\mathclose{\mid\mkern-3mu)}}} |
203 \newcommand{\isasymrparr}{\isamath{\mathclose{\mid\mkern-3mu)}}} |
207 \newcommand{\isasymlbrakk}{\isamath{\mathopen{\lbrack\mkern-3mu\lbrack}}} |
204 \newcommand{\isasymlbrakk}{\isamath{\mathopen{\lbrack\mkern-3mu\lbrack}}} |
208 \newcommand{\isasymrbrakk}{\isamath{\mathclose{\rbrack\mkern-3mu\rbrack}}} |
205 \newcommand{\isasymrbrakk}{\isamath{\mathclose{\rbrack\mkern-3mu\rbrack}}} |
209 \newcommand{\isasymlbrace}{\isamath{\mathopen{\lbrace\mkern-4.5mu\mid}}} |
206 \newcommand{\isasymlbrace}{\isamath{\mathopen{\lbrace\mkern-4.5mu\mid}}} |
210 \newcommand{\isasymrbrace}{\isamath{\mathclose{\mid\mkern-4.5mu\rbrace}}} |
207 \newcommand{\isasymrbrace}{\isamath{\mathclose{\mid\mkern-4.5mu\rbrace}}} |
211 \newcommand{\isasymguillemotleft}{\isatext{\flqq}} %requires babel |
208 \newcommand{\isasymguillemotleft}{\isatext{\flqq}} %requires babel |
212 \newcommand{\isasymguillemotright}{\isatext{\frqq}} %requires babel |
209 \newcommand{\isasymguillemotright}{\isatext{\frqq}} %requires babel |
213 \newcommand{\isasymColon}{\isamath{\mathrel{::}}} |
210 \newcommand{\isasymColon}{\isamath{\mathrel{::}}} |
214 \newcommand{\isasymnot}{\isamath{\neg}} |
211 \newcommand{\isasymnot}{\isamath{\neg}} |
215 \newcommand{\isasymbottom}{\isamath{\bot}} |
212 \newcommand{\isasymbottom}{\isamath{\bot}} |
216 \newcommand{\isasymtop}{\isamath{\top}} |
213 \newcommand{\isasymtop}{\isamath{\top}} |
217 \newcommand{\isasymand}{\isamath{\wedge}} |
214 \newcommand{\isasymand}{\isamath{\wedge}} |