1.1 --- a/etc/symbols Fri Aug 15 18:03:30 2008 +0200
1.2 +++ b/etc/symbols Fri Aug 15 18:25:41 2008 +0200
1.3 @@ -157,18 +157,18 @@
1.4 \<int> code: 0x002124 font: Isabelle
1.5 \<leftarrow> code: 0x002190 font: Isabelle
1.6 \<longleftarrow> code: 0x0027f5 font: Isabelle
1.7 -\<rightarrow> code: 0x002192 font: Isabelle
1.8 -\<longrightarrow> code: 0x0027f6 font: Isabelle
1.9 +\<rightarrow> code: 0x002192 font: Isabelle abbrev: ->
1.10 +\<longrightarrow> code: 0x0027f6 font: Isabelle abbrev: -->
1.11 \<Leftarrow> code: 0x0021d0 font: Isabelle
1.12 -\<Longleftarrow> code: 0x0027f8 font: Isabelle
1.13 -\<Rightarrow> code: 0x0021d2 font: Isabelle
1.14 -\<Longrightarrow> code: 0x0027f9 font: Isabelle
1.15 -\<leftrightarrow> code: 0x002194 font: Isabelle
1.16 -\<longleftrightarrow> code: 0x0027f7 font: Isabelle
1.17 -\<Leftrightarrow> code: 0x0021d4 font: Isabelle
1.18 -\<Longleftrightarrow> code: 0x0027fa font: Isabelle
1.19 -\<mapsto> code: 0x0021a6 font: Isabelle
1.20 -\<longmapsto> code: 0x0027fc font: Isabelle
1.21 +\<Longleftarrow> code: 0x0027f8 font: Isabelle
1.22 +\<Rightarrow> code: 0x0021d2 font: Isabelle abbrev: =>
1.23 +\<Longrightarrow> code: 0x0027f9 font: Isabelle abbrev: ==>
1.24 +\<leftrightarrow> code: 0x002194 font: Isabelle abbrev: <->
1.25 +\<longleftrightarrow> code: 0x0027f7 font: Isabelle abbrev: <-->
1.26 +\<Leftrightarrow> code: 0x0021d4 font: Isabelle abbrev: <=>
1.27 +\<Longleftrightarrow> code: 0x0027fa font: Isabelle abbrev: <==>
1.28 +\<mapsto> code: 0x0021a6 font: Isabelle abbrev: |->
1.29 +\<longmapsto> code: 0x0027fc font: Isabelle abbrev: |-->
1.30 \<midarrow> code: 0x002500 font: Isabelle
1.31 \<Midarrow> code: 0x002550 font: Isabelle
1.32 \<hookleftarrow> code: 0x0021a9 font: Isabelle
1.33 @@ -178,7 +178,7 @@
1.34 \<leftharpoonup> code: 0x0021bc font: Isabelle
1.35 \<rightharpoonup> code: 0x0021c0 font: Isabelle
1.36 \<rightleftharpoons> code: 0x0021cc font: Isabelle
1.37 -\<leadsto> code: 0x00219d font: Isabelle
1.38 +\<leadsto> code: 0x00219d font: Isabelle abbrev: ~>
1.39 \<downharpoonleft> code: 0x0021c3 font: Isabelle
1.40 \<downharpoonright> code: 0x0021c2 font: Isabelle
1.41 \<upharpoonleft> code: 0x0021bf font: Isabelle
1.42 @@ -191,69 +191,69 @@
1.43 \<Down> code: 0x0021d3 font: Isabelle
1.44 \<updown> code: 0x002195 font: Isabelle
1.45 \<Updown> code: 0x0021d5 font: Isabelle
1.46 -\<langle> code: 0x0027e8 font: Isabelle
1.47 -\<rangle> code: 0x0027e9 font: Isabelle
1.48 +\<langle> code: 0x0027e8 font: Isabelle abbrev: <.
1.49 +\<rangle> code: 0x0027e9 font: Isabelle abbrev: .>
1.50 \<lceil> code: 0x002308 font: Isabelle
1.51 \<rceil> code: 0x002309 font: Isabelle
1.52 \<lfloor> code: 0x00230a font: Isabelle
1.53 \<rfloor> code: 0x00230b font: Isabelle
1.54 -\<lparr> code: 0x002987 font: Isabelle
1.55 -\<rparr> code: 0x002988 font: Isabelle
1.56 -\<lbrakk> code: 0x0027e6 font: Isabelle
1.57 -\<rbrakk> code: 0x0027e7 font: Isabelle
1.58 -\<lbrace> code: 0x002983 font: Isabelle
1.59 -\<rbrace> code: 0x002984 font: Isabelle
1.60 -\<guillemotleft> code: 0x0000ab
1.61 -\<guillemotright> code: 0x0000bb
1.62 +\<lparr> code: 0x002987 font: Isabelle abbrev: (|
1.63 +\<rparr> code: 0x002988 font: Isabelle abbrev: |)
1.64 +\<lbrakk> code: 0x0027e6 font: Isabelle abbrev: [|
1.65 +\<rbrakk> code: 0x0027e7 font: Isabelle abbrev: |]
1.66 +\<lbrace> code: 0x002983 font: Isabelle abbrev: {.
1.67 +\<rbrace> code: 0x002984 font: Isabelle abbrev: .}
1.68 +\<guillemotleft> code: 0x0000ab abbrev: <<
1.69 +\<guillemotright> code: 0x0000bb abbrev: >>
1.70 \<bottom> code: 0x0022a5 font: Isabelle
1.71 \<top> code: 0x0022a4 font: Isabelle
1.72 -\<and> code: 0x002227 font: Isabelle
1.73 -\<And> code: 0x0022c0 font: Isabelle
1.74 -\<or> code: 0x002228 font: Isabelle
1.75 -\<Or> code: 0x0022c1 font: Isabelle
1.76 -\<forall> code: 0x002200 font: Isabelle
1.77 -\<exists> code: 0x002203 font: Isabelle
1.78 -\<nexists> code: 0x002204 font: Isabelle
1.79 -\<not> code: 0x0000ac font: Isabelle
1.80 +\<and> code: 0x002227 font: Isabelle abbrev: /\
1.81 +\<And> code: 0x0022c0 font: Isabelle abbreb: !!
1.82 +\<or> code: 0x002228 font: Isabelle abbrev: \/
1.83 +\<Or> code: 0x0022c1 font: Isabelle abbrev: ??
1.84 +\<forall> code: 0x002200 font: Isabelle abbrev: !
1.85 +\<exists> code: 0x002203 font: Isabelle abbrev: ?.
1.86 +\<nexists> code: 0x002204 font: Isabelle abbrev: ?~
1.87 +\<not> code: 0x0000ac font: Isabelle abbrev: ~
1.88 \<box> code: 0x0025a1 font: Isabelle
1.89 \<diamond> code: 0x0025c7 font: Isabelle
1.90 -\<turnstile> code: 0x0022a2 font: Isabelle
1.91 -\<Turnstile> code: 0x0022a8 font: Isabelle
1.92 -\<tturnstile> code: 0x0022a9 font: Isabelle
1.93 -\<TTurnstile> code: 0x0022ab font: Isabelle
1.94 -\<stileturn> code: 0x0022a3 font: Isabelle
1.95 +\<turnstile> code: 0x0022a2 font: Isabelle abbrev: |-
1.96 +\<Turnstile> code: 0x0022a8 font: Isabelle abbrev: |=
1.97 +\<tturnstile> code: 0x0022a9 font: Isabelle abbrev: ||-
1.98 +\<TTurnstile> code: 0x0022ab font: Isabelle abbrev: ||=
1.99 +\<stileturn> code: 0x0022a3 font: Isabelle abbrev: -|
1.100 \<surd> code: 0x00221a font: Isabelle
1.101 -\<le> code: 0x002264 font: Isabelle
1.102 -\<ge> code: 0x002265 font: Isabelle
1.103 +\<le> code: 0x002264 font: Isabelle abbrev: <=
1.104 +\<ge> code: 0x002265 font: Isabelle abbrev: >=
1.105 \<lless> code: 0x00226a font: Isabelle
1.106 \<ggreater> code: 0x00226b font: Isabelle
1.107 \<lesssim> code: 0x002272 font: Isabelle
1.108 \<greatersim> code: 0x002273 font: Isabelle
1.109 \<lessapprox> code: 0x002a85 font: Isabelle
1.110 \<greaterapprox> code: 0x002a86 font: Isabelle
1.111 -\<in> code: 0x002208 font: Isabelle
1.112 -\<notin> code: 0x002209 font: Isabelle
1.113 +\<in> code: 0x002208 font: Isabelle abbrev: :
1.114 +\<notin> code: 0x002209 font: Isabelle abbrev: ~:
1.115 \<subset> code: 0x002282 font: Isabelle
1.116 \<supset> code: 0x002283 font: Isabelle
1.117 -\<subseteq> code: 0x002286 font: Isabelle
1.118 -\<supseteq> code: 0x002287 font: Isabelle
1.119 +\<subseteq> code: 0x002286 font: Isabelle abbrev: (=
1.120 +\<supseteq> code: 0x002287 font: Isabelle abbrev: )=
1.121 \<sqsubset> code: 0x00228f font: Isabelle
1.122 \<sqsupset> code: 0x002290 font: Isabelle
1.123 -\<sqsubseteq> code: 0x002291 font: Isabelle
1.124 -\<sqsupseteq> code: 0x002292 font: Isabelle
1.125 -\<inter> code: 0x002229 font: Isabelle
1.126 -\<Inter> code: 0x0022c2 font: Isabelle
1.127 -\<union> code: 0x00222a font: Isabelle
1.128 -\<Union> code: 0x0022c3 font: Isabelle
1.129 -\<squnion> code: 0x002294 font: Isabelle
1.130 -\<Squnion> code: 0x002a06 font: Isabelle
1.131 -\<sqinter> code: 0x002293 font: Isabelle
1.132 -\<Sqinter> code: 0x002a05 font: Isabelle
1.133 +\<sqsubseteq> code: 0x002291 font: Isabelle abbrev: [=
1.134 +\<sqsupseteq> code: 0x002292 font: Isabelle abbrev: ]=
1.135 +\<inter> code: 0x002229 font: Isabelle abbrev: Int
1.136 +\<Inter> code: 0x0022c2 font: Isabelle abbrev: Inter
1.137 +\<union> code: 0x00222a font: Isabelle abbrev: Un
1.138 +\<Union> code: 0x0022c3 font: Isabelle abbrev: Union
1.139 +\<squnion> code: 0x002294 font: Isabelle abbrev: ||
1.140 +\<Squnion> code: 0x002a06 font: Isabelle abbrev: |||
1.141 +\<sqinter> code: 0x002293 font: Isabelle abbrev: &&
1.142 +\<Sqinter> code: 0x002a05 font: Isabelle abbrev: &&&
1.143 \<setminus> code: 0x002216 font: Isabelle
1.144 \<propto> code: 0x00221d font: Isabelle
1.145 \<uplus> code: 0x00228e font: Isabelle
1.146 \<Uplus> code: 0x002a04 font: Isabelle
1.147 -\<noteq> code: 0x002260 font: Isabelle
1.148 +\<noteq> code: 0x002260 font: Isabelle abbrev: ~=
1.149 \<sim> code: 0x00223c font: Isabelle
1.150 \<doteq> code: 0x002250 font: Isabelle
1.151 \<simeq> code: 0x002243 font: Isabelle
1.152 @@ -261,7 +261,7 @@
1.153 \<asymp> code: 0x00224d font: Isabelle
1.154 \<cong> code: 0x002245 font: Isabelle
1.155 \<smile> code: 0x002323 font: Isabelle
1.156 -\<equiv> code: 0x002261 font: Isabelle
1.157 +\<equiv> code: 0x002261 font: Isabelle abbrev: ==
1.158 \<frown> code: 0x002322 font: Isabelle
1.159 \<Join> code: 0x0022c8 font: Isabelle
1.160 \<bowtie> code: 0x002a1d font: Isabelle
1.161 @@ -269,7 +269,7 @@
1.162 \<succ> code: 0x00227b font: Isabelle
1.163 \<preceq> code: 0x00227c font: Isabelle
1.164 \<succeq> code: 0x00227d font: Isabelle
1.165 -\<parallel> code: 0x002225 font: Isabelle
1.166 +\<parallel> code: 0x002225 font: Isabelle abbrev: ||
1.167 \<bar> code: 0x0000a6
1.168 \<plusminus> code: 0x0000b1 font: Isabelle
1.169 \<minusplus> code: 0x002213 font: Isabelle
1.170 @@ -289,20 +289,20 @@
1.171 \<triangleright> code: 0x0025b9 font: Isabelle
1.172 \<triangle> code: 0x0025b3 font: Isabelle
1.173 \<triangleq> code: 0x00225c font: Isabelle
1.174 -\<oplus> code: 0x002295 font: Isabelle
1.175 -\<Oplus> code: 0x002a01 font: Isabelle
1.176 -\<otimes> code: 0x002297 font: Isabelle
1.177 -\<Otimes> code: 0x002a02 font: Isabelle
1.178 -\<odot> code: 0x002299 font: Isabelle
1.179 -\<Odot> code: 0x002a00 font: Isabelle
1.180 -\<ominus> code: 0x002296 font: Isabelle
1.181 -\<oslash> code: 0x002298 font: Isabelle
1.182 -\<dots> code: 0x002026 font: Isabelle
1.183 +\<oplus> code: 0x002295 font: Isabelle abbrev: +o
1.184 +\<Oplus> code: 0x002a01 font: Isabelle abbrev: +O
1.185 +\<otimes> code: 0x002297 font: Isabelle abbrev: xo
1.186 +\<Otimes> code: 0x002a02 font: Isabelle abbrev: xO
1.187 +\<odot> code: 0x002299 font: Isabelle abbrev: .o
1.188 +\<Odot> code: 0x002a00 font: Isabelle abbrev: .O
1.189 +\<ominus> code: 0x002296 font: Isabelle abbrev: -o
1.190 +\<oslash> code: 0x002298 font: Isabelle abbrev: /o
1.191 +\<dots> code: 0x002026 font: Isabelle abbrev: ...
1.192 \<cdots> code: 0x0022ef font: Isabelle
1.193 -\<Sum> code: 0x002211 font: Isabelle
1.194 -\<Prod> code: 0x00220f font: Isabelle
1.195 +\<Sum> code: 0x002211 font: Isabelle abbrev: SUM
1.196 +\<Prod> code: 0x00220f font: Isabelle abbrev: PROD
1.197 \<Coprod> code: 0x002210 font: Isabelle
1.198 -\<infinity> code: 0x00221e font: Isabelle
1.199 +\<infinity> code: 0x00221e font: Isabelle abbrev: oo
1.200 \<integral> code: 0x00222b font: Isabelle
1.201 \<ointegral> code: 0x00222e font: Isabelle
1.202 \<clubsuit> code: 0x002663 font: Isabelle
1.203 @@ -335,7 +335,7 @@
1.204 \<paragraph> code: 0x0000b6
1.205 \<exclamdown> code: 0x0000a1
1.206 \<questiondown> code: 0x0000bf
1.207 -\<euro> code: 0x0020ac font: Isabelle
1.208 +\<euro> code: 0x0020ac
1.209 \<pounds> code: 0x0000a3
1.210 \<yen> code: 0x0000a5
1.211 \<cent> code: 0x0000a2