# HG changeset patch # User wenzelm # Date 1218816210 -7200 # Node ID a152c8a38b7df7d11a1482a6dc94d61a811b2d31 # Parent e0953043ce904ccfaff1399f78d0dc65eef503cc removed redundant "symbol" property; added "font" propery; disabled alternative letters (\ etc.) for now; diff -r e0953043ce90 -r a152c8a38b7d etc/symbols --- a/etc/symbols Fri Aug 15 17:19:32 2008 +0200 +++ b/etc/symbols Fri Aug 15 18:03:30 2008 +0200 @@ -1,357 +1,357 @@ # $Id$ # Default interpretation of some Isabelle symbols -symbol: \ code: 0x01d7ec -symbol: \ code: 0x01d7ed -symbol: \ code: 0x01d7ee -symbol: \ code: 0x01d7ef -symbol: \ code: 0x01d7f0 -symbol: \ code: 0x01d7f1 -symbol: \ code: 0x01d7f2 -symbol: \ code: 0x01d7f3 -symbol: \ code: 0x01d7f4 -symbol: \ code: 0x01d7f5 -symbol: \ code: 0x01d49c -symbol: \ code: 0x00212c -symbol: \ code: 0x01d49e -symbol: \ code: 0x01d49f -symbol: \ code: 0x002130 -symbol: \ code: 0x002131 -symbol: \ code: 0x01d4a2 -symbol: \ code: 0x00210b -symbol: \ code: 0x002110 -symbol: \ code: 0x01d4a5 -symbol: \ code: 0x01d4a6 -symbol: \ code: 0x002112 -symbol: \ code: 0x002133 -symbol: \ code: 0x01d4a9 -symbol: \ code: 0x01d4aa -symbol: \

code: 0x01d5c9 -symbol: \ code: 0x01d5ca -symbol: \ code: 0x01d5cb -symbol: \ code: 0x01d5cc -symbol: \ code: 0x01d5cd -symbol: \ code: 0x01d5ce -symbol: \ code: 0x01d5cf -symbol: \ code: 0x01d5d0 -symbol: \ code: 0x01d5d1 -symbol: \ code: 0x01d5d2 -symbol: \ code: 0x01d5d3 -symbol: \ code: 0x01d504 -symbol: \ code: 0x01d505 -symbol: \ code: 0x00212d -symbol: \

code: 0x01d507 -symbol: \ code: 0x01d508 -symbol: \ code: 0x01d509 -symbol: \ code: 0x01d50a -symbol: \ code: 0x00210c -symbol: \ code: 0x002111 -symbol: \ code: 0x01d50d -symbol: \ code: 0x01d50e -symbol: \ code: 0x01d50f -symbol: \ code: 0x01d510 -symbol: \ code: 0x01d511 -symbol: \ code: 0x01d512 -symbol: \ code: 0x01d513 -symbol: \ code: 0x01d514 -symbol: \ code: 0x00211c -symbol: \ code: 0x01d516 -symbol: \ code: 0x01d517 -symbol: \ code: 0x01d518 -symbol: \ code: 0x01d519 -symbol: \ code: 0x01d51a -symbol: \ code: 0x01d51b -symbol: \ code: 0x01d51c -symbol: \ code: 0x002128 -symbol: \ code: 0x01d51e -symbol: \ code: 0x01d51f -symbol: \ code: 0x01d520 -symbol: \
code: 0x01d521 -symbol: \ code: 0x01d522 -symbol: \ code: 0x01d523 -symbol: \ code: 0x01d524 -symbol: \ code: 0x01d525 -symbol: \ code: 0x01d526 -symbol: \ code: 0x01d527 -symbol: \ code: 0x01d528 -symbol: \ code: 0x01d529 -symbol: \ code: 0x01d52a -symbol: \ code: 0x01d52b -symbol: \ code: 0x01d52c -symbol: \ code: 0x01d52d -symbol: \ code: 0x01d52e -symbol: \ code: 0x01d52f -symbol: \ code: 0x01d530 -symbol: \ code: 0x01d531 -symbol: \ code: 0x01d532 -symbol: \ code: 0x01d533 -symbol: \ code: 0x01d534 -symbol: \ code: 0x01d535 -symbol: \ code: 0x01d536 -symbol: \ code: 0x01d537 -symbol: \ code: 0x0003b1 -symbol: \ code: 0x0003b2 -symbol: \ code: 0x0003b3 -symbol: \ code: 0x0003b4 -symbol: \ code: 0x0003b5 -symbol: \ code: 0x0003b6 -symbol: \ code: 0x0003b7 -symbol: \ code: 0x0003b8 -symbol: \ code: 0x0003b9 -symbol: \ code: 0x0003ba -symbol: \ code: 0x0003bb -symbol: \ code: 0x0003bc -symbol: \ code: 0x0003bd -symbol: \ code: 0x0003be -symbol: \ code: 0x0003c0 -symbol: \ code: 0x0003c1 -symbol: \ code: 0x0003c3 -symbol: \ code: 0x0003c4 -symbol: \ code: 0x0003c5 -symbol: \ code: 0x0003c6 -symbol: \ code: 0x0003c7 -symbol: \ code: 0x0003c8 -symbol: \ code: 0x0003c9 -symbol: \ code: 0x000393 -symbol: \ code: 0x000394 -symbol: \ code: 0x000398 -symbol: \ code: 0x00039b -symbol: \ code: 0x00039e -symbol: \ code: 0x0003a0 -symbol: \ code: 0x0003a3 -symbol: \ code: 0x0003a5 -symbol: \ code: 0x0003a6 -symbol: \ code: 0x0003a8 -symbol: \ code: 0x0003a9 -symbol: \ code: 0x01d539 -symbol: \ code: 0x002102 -symbol: \ code: 0x002115 -symbol: \ code: 0x00211a -symbol: \ code: 0x00211d -symbol: \ code: 0x002124 -symbol: \ code: 0x002190 -symbol: \ code: 0x0027f5 -symbol: \ code: 0x002192 -symbol: \ code: 0x0027f6 -symbol: \ code: 0x0021d0 -symbol: \ code: 0x0027f8 -symbol: \ code: 0x0021d2 -symbol: \ code: 0x0027f9 -symbol: \ code: 0x002194 -symbol: \ code: 0x0027f7 -symbol: \ code: 0x0021d4 -symbol: \ code: 0x0027fa -symbol: \ code: 0x0021a6 -symbol: \ code: 0x0027fc -symbol: \ code: 0x002500 -symbol: \ code: 0x002550 -symbol: \ code: 0x0021a9 -symbol: \ code: 0x0021aa -symbol: \ code: 0x0021bd -symbol: \ code: 0x0021c1 -symbol: \ code: 0x0021bc -symbol: \ code: 0x0021c0 -symbol: \ code: 0x0021cc -symbol: \ code: 0x00219d -symbol: \ code: 0x0021c3 -symbol: \ code: 0x0021c2 -symbol: \ code: 0x0021bf -symbol: \ code: 0x0021be -symbol: \ code: 0x0021be -symbol: \ code: 0x002237 -symbol: \ code: 0x002191 -symbol: \ code: 0x0021d1 -symbol: \ code: 0x002193 -symbol: \ code: 0x0021d3 -symbol: \ code: 0x002195 -symbol: \ code: 0x0021d5 -symbol: \ code: 0x0027e8 -symbol: \ code: 0x0027e9 -symbol: \ code: 0x002308 -symbol: \ code: 0x002309 -symbol: \ code: 0x00230a -symbol: \ code: 0x00230b -symbol: \ code: 0x002987 -symbol: \ code: 0x002988 -symbol: \ code: 0x0027e6 -symbol: \ code: 0x0027e7 -symbol: \ code: 0x002983 -symbol: \ code: 0x002984 -symbol: \ code: 0x0000ab -symbol: \ code: 0x0000bb -symbol: \ code: 0x0022a5 -symbol: \ code: 0x0022a4 -symbol: \ code: 0x002227 -symbol: \ code: 0x0022c0 -symbol: \ code: 0x002228 -symbol: \ code: 0x0022c1 -symbol: \ code: 0x002200 -symbol: \ code: 0x002203 -symbol: \ code: 0x002204 -symbol: \ code: 0x0000ac -symbol: \ code: 0x0025a1 -symbol: \ code: 0x0025c7 -symbol: \ code: 0x0022a2 -symbol: \ code: 0x0022a8 -symbol: \ code: 0x0022a9 -symbol: \ code: 0x0022ab -symbol: \ code: 0x0022a3 -symbol: \ code: 0x00221a -symbol: \ code: 0x002264 -symbol: \ code: 0x002265 -symbol: \ code: 0x00226a -symbol: \ code: 0x00226b -symbol: \ code: 0x002272 -symbol: \ code: 0x002273 -symbol: \ code: 0x002a85 -symbol: \ code: 0x002a86 -symbol: \ code: 0x002208 -symbol: \ code: 0x002209 -symbol: \ code: 0x002282 -symbol: \ code: 0x002283 -symbol: \ code: 0x002286 -symbol: \ code: 0x002287 -symbol: \ code: 0x00228f -symbol: \ code: 0x002290 -symbol: \ code: 0x002291 -symbol: \ code: 0x002292 -symbol: \ code: 0x002229 -symbol: \ code: 0x0022c2 -symbol: \ code: 0x00222a -symbol: \ code: 0x0022c3 -symbol: \ code: 0x002294 -symbol: \ code: 0x002a06 -symbol: \ code: 0x002293 -symbol: \ code: 0x002a05 -symbol: \ code: 0x002216 -symbol: \ code: 0x00221d -symbol: \ code: 0x00228e -symbol: \ code: 0x002a04 -symbol: \ code: 0x002260 -symbol: \ code: 0x00223c -symbol: \ code: 0x002250 -symbol: \ code: 0x002243 -symbol: \ code: 0x002248 -symbol: \ code: 0x00224d -symbol: \ code: 0x002245 -symbol: \ code: 0x002323 -symbol: \ code: 0x002261 -symbol: \ code: 0x002322 -symbol: \ code: 0x0022c8 -symbol: \ code: 0x002a1d -symbol: \ code: 0x00227a -symbol: \ code: 0x00227b -symbol: \ code: 0x00227c -symbol: \ code: 0x00227d -symbol: \ code: 0x002225 -symbol: \ code: 0x0000a6 -symbol: \ code: 0x0000b1 -symbol: \ code: 0x002213 -symbol: \ code: 0x0000d7 -symbol: \
code: 0x0000f7 -symbol: \ code: 0x0022c5 -symbol: \ code: 0x0022c6 -symbol: \ code: 0x002219 -symbol: \ code: 0x002218 -symbol: \ code: 0x002020 -symbol: \ code: 0x002021 -symbol: \ code: 0x0022b2 -symbol: \ code: 0x0022b3 -symbol: \ code: 0x0022b4 -symbol: \ code: 0x0022b5 -symbol: \ code: 0x0025c3 -symbol: \ code: 0x0025b9 -symbol: \ code: 0x0025b3 -symbol: \ code: 0x00225c -symbol: \ code: 0x002295 -symbol: \ code: 0x002a01 -symbol: \ code: 0x002297 -symbol: \ code: 0x002a02 -symbol: \ code: 0x002299 -symbol: \ code: 0x002a00 -symbol: \ code: 0x002296 -symbol: \ code: 0x002298 -symbol: \ code: 0x002026 -symbol: \ code: 0x0022ef -symbol: \ code: 0x002211 -symbol: \ code: 0x00220f -symbol: \ code: 0x002210 -symbol: \ code: 0x00221e -symbol: \ code: 0x00222b -symbol: \ code: 0x00222e -symbol: \ code: 0x002663 -symbol: \ code: 0x002662 -symbol: \ code: 0x002661 -symbol: \ code: 0x002660 -symbol: \ code: 0x002135 -symbol: \ code: 0x002205 -symbol: \ code: 0x002207 -symbol: \ code: 0x002202 -symbol: \ code: 0x00211c -symbol: \ code: 0x002111 -symbol: \ code: 0x00266d -symbol: \ code: 0x00266e -symbol: \ code: 0x00266f -symbol: \ code: 0x002220 -symbol: \ code: 0x0000a9 -symbol: \ code: 0x0000ae -symbol: \ code: 0x0000ad -symbol: \ code: 0x0000af -symbol: \ code: 0x0000b9 -symbol: \ code: 0x0000bc -symbol: \ code: 0x0000b2 -symbol: \ code: 0x0000bd -symbol: \ code: 0x0000b3 -symbol: \ code: 0x0000be -symbol: \ code: 0x0000aa -symbol: \ code: 0x0000ba -symbol: \
code: 0x0000a7 -symbol: \ code: 0x0000b6 -symbol: \ code: 0x0000a1 -symbol: \ code: 0x0000bf -symbol: \ code: 0x0020ac -symbol: \ code: 0x0000a3 -symbol: \ code: 0x0000a5 -symbol: \ code: 0x0000a2 -symbol: \ code: 0x0000a4 -symbol: \ code: 0x0000b0 -symbol: \ code: 0x002a3f -symbol: \ code: 0x002127 -symbol: \ code: 0x0025ca -symbol: \ code: 0x002118 -symbol: \ code: 0x002240 -symbol: \ code: 0x0022c4 -symbol: \ code: 0x0000b4 -symbol: \ code: 0x000131 -symbol: \ code: 0x0000a8 -symbol: \ code: 0x0000b8 -symbol: \ code: 0x0002dd -symbol: \ code: 0x002423 -symbol: \ code: 0x0003f5 +\ code: 0x01d7ec font: Isabelle +\ code: 0x01d7ed font: Isabelle +\ code: 0x01d7ee font: Isabelle +\ code: 0x01d7ef font: Isabelle +\ code: 0x01d7f0 font: Isabelle +\ code: 0x01d7f1 font: Isabelle +\ code: 0x01d7f2 font: Isabelle +\ code: 0x01d7f3 font: Isabelle +\ code: 0x01d7f4 font: Isabelle +\ code: 0x01d7f5 font: Isabelle +#\ code: 0x01d49c +#\ code: 0x00212c +#\ code: 0x01d49e +#\ code: 0x01d49f +#\ code: 0x002130 +#\ code: 0x002131 +#\ code: 0x01d4a2 +#\ code: 0x00210b +#\ code: 0x002110 +#\ code: 0x01d4a5 +#\ code: 0x01d4a6 +#\ code: 0x002112 +#\ code: 0x002133 +#\ code: 0x01d4a9 +#\ code: 0x01d4aa +#\

code: 0x01d5c9 +#\ code: 0x01d5ca +#\ code: 0x01d5cb +#\ code: 0x01d5cc +#\ code: 0x01d5cd +#\ code: 0x01d5ce +#\ code: 0x01d5cf +#\ code: 0x01d5d0 +#\ code: 0x01d5d1 +#\ code: 0x01d5d2 +#\ code: 0x01d5d3 +#\ code: 0x01d504 +#\ code: 0x01d505 +#\ code: 0x00212d +#\

code: 0x01d507 +#\ code: 0x01d508 +#\ code: 0x01d509 +#\ code: 0x01d50a +#\ code: 0x00210c +#\ code: 0x002111 +#\ code: 0x01d50d +#\ code: 0x01d50e +#\ code: 0x01d50f +#\ code: 0x01d510 +#\ code: 0x01d511 +#\ code: 0x01d512 +#\ code: 0x01d513 +#\ code: 0x01d514 +#\ code: 0x00211c +#\ code: 0x01d516 +#\ code: 0x01d517 +#\ code: 0x01d518 +#\ code: 0x01d519 +#\ code: 0x01d51a +#\ code: 0x01d51b +#\ code: 0x01d51c +#\ code: 0x002128 +#\ code: 0x01d51e +#\ code: 0x01d51f +#\ code: 0x01d520 +#\
code: 0x01d521 +#\ code: 0x01d522 +#\ code: 0x01d523 +#\ code: 0x01d524 +#\ code: 0x01d525 +#\ code: 0x01d526 +#\ code: 0x01d527 +#\ code: 0x01d528 +#\ code: 0x01d529 +#\ code: 0x01d52a +#\ code: 0x01d52b +#\ code: 0x01d52c +#\ code: 0x01d52d +#\ code: 0x01d52e +#\ code: 0x01d52f +#\ code: 0x01d530 +#\ code: 0x01d531 +#\ code: 0x01d532 +#\ code: 0x01d533 +#\ code: 0x01d534 +#\ code: 0x01d535 +#\ code: 0x01d536 +#\ code: 0x01d537 +\ code: 0x0003b1 font: Isabelle +\ code: 0x0003b2 font: Isabelle +\ code: 0x0003b3 font: Isabelle +\ code: 0x0003b4 font: Isabelle +\ code: 0x0003b5 font: Isabelle +\ code: 0x0003b6 font: Isabelle +\ code: 0x0003b7 font: Isabelle +\ code: 0x0003b8 font: Isabelle +\ code: 0x0003b9 font: Isabelle +\ code: 0x0003ba font: Isabelle +\ code: 0x0003bb font: Isabelle +\ code: 0x0003bc font: Isabelle +\ code: 0x0003bd font: Isabelle +\ code: 0x0003be font: Isabelle +\ code: 0x0003c0 font: Isabelle +\ code: 0x0003c1 font: Isabelle +\ code: 0x0003c3 font: Isabelle +\ code: 0x0003c4 font: Isabelle +\ code: 0x0003c5 font: Isabelle +\ code: 0x0003c6 font: Isabelle +\ code: 0x0003c7 font: Isabelle +\ code: 0x0003c8 font: Isabelle +\ code: 0x0003c9 font: Isabelle +\ code: 0x000393 font: Isabelle +\ code: 0x000394 font: Isabelle +\ code: 0x000398 font: Isabelle +\ code: 0x00039b font: Isabelle +\ code: 0x00039e font: Isabelle +\ code: 0x0003a0 font: Isabelle +\ code: 0x0003a3 font: Isabelle +\ code: 0x0003a5 font: Isabelle +\ code: 0x0003a6 font: Isabelle +\ code: 0x0003a8 font: Isabelle +\ code: 0x0003a9 font: Isabelle +\ code: 0x01d539 font: Isabelle +\ code: 0x002102 font: Isabelle +\ code: 0x002115 font: Isabelle +\ code: 0x00211a font: Isabelle +\ code: 0x00211d font: Isabelle +\ code: 0x002124 font: Isabelle +\ code: 0x002190 font: Isabelle +\ code: 0x0027f5 font: Isabelle +\ code: 0x002192 font: Isabelle +\ code: 0x0027f6 font: Isabelle +\ code: 0x0021d0 font: Isabelle +\ code: 0x0027f8 font: Isabelle +\ code: 0x0021d2 font: Isabelle +\ code: 0x0027f9 font: Isabelle +\ code: 0x002194 font: Isabelle +\ code: 0x0027f7 font: Isabelle +\ code: 0x0021d4 font: Isabelle +\ code: 0x0027fa font: Isabelle +\ code: 0x0021a6 font: Isabelle +\ code: 0x0027fc font: Isabelle +\ code: 0x002500 font: Isabelle +\ code: 0x002550 font: Isabelle +\ code: 0x0021a9 font: Isabelle +\ code: 0x0021aa font: Isabelle +\ code: 0x0021bd font: Isabelle +\ code: 0x0021c1 font: Isabelle +\ code: 0x0021bc font: Isabelle +\ code: 0x0021c0 font: Isabelle +\ code: 0x0021cc font: Isabelle +\ code: 0x00219d font: Isabelle +\ code: 0x0021c3 font: Isabelle +\ code: 0x0021c2 font: Isabelle +\ code: 0x0021bf font: Isabelle +\ code: 0x0021be font: Isabelle +\ code: 0x0021be font: Isabelle +\ code: 0x002237 font: Isabelle +\ code: 0x002191 font: Isabelle +\ code: 0x0021d1 font: Isabelle +\ code: 0x002193 font: Isabelle +\ code: 0x0021d3 font: Isabelle +\ code: 0x002195 font: Isabelle +\ code: 0x0021d5 font: Isabelle +\ code: 0x0027e8 font: Isabelle +\ code: 0x0027e9 font: Isabelle +\ code: 0x002308 font: Isabelle +\ code: 0x002309 font: Isabelle +\ code: 0x00230a font: Isabelle +\ code: 0x00230b font: Isabelle +\ code: 0x002987 font: Isabelle +\ code: 0x002988 font: Isabelle +\ code: 0x0027e6 font: Isabelle +\ code: 0x0027e7 font: Isabelle +\ code: 0x002983 font: Isabelle +\ code: 0x002984 font: Isabelle +\ code: 0x0000ab +\ code: 0x0000bb +\ code: 0x0022a5 font: Isabelle +\ code: 0x0022a4 font: Isabelle +\ code: 0x002227 font: Isabelle +\ code: 0x0022c0 font: Isabelle +\ code: 0x002228 font: Isabelle +\ code: 0x0022c1 font: Isabelle +\ code: 0x002200 font: Isabelle +\ code: 0x002203 font: Isabelle +\ code: 0x002204 font: Isabelle +\ code: 0x0000ac font: Isabelle +\ code: 0x0025a1 font: Isabelle +\ code: 0x0025c7 font: Isabelle +\ code: 0x0022a2 font: Isabelle +\ code: 0x0022a8 font: Isabelle +\ code: 0x0022a9 font: Isabelle +\ code: 0x0022ab font: Isabelle +\ code: 0x0022a3 font: Isabelle +\ code: 0x00221a font: Isabelle +\ code: 0x002264 font: Isabelle +\ code: 0x002265 font: Isabelle +\ code: 0x00226a font: Isabelle +\ code: 0x00226b font: Isabelle +\ code: 0x002272 font: Isabelle +\ code: 0x002273 font: Isabelle +\ code: 0x002a85 font: Isabelle +\ code: 0x002a86 font: Isabelle +\ code: 0x002208 font: Isabelle +\ code: 0x002209 font: Isabelle +\ code: 0x002282 font: Isabelle +\ code: 0x002283 font: Isabelle +\ code: 0x002286 font: Isabelle +\ code: 0x002287 font: Isabelle +\ code: 0x00228f font: Isabelle +\ code: 0x002290 font: Isabelle +\ code: 0x002291 font: Isabelle +\ code: 0x002292 font: Isabelle +\ code: 0x002229 font: Isabelle +\ code: 0x0022c2 font: Isabelle +\ code: 0x00222a font: Isabelle +\ code: 0x0022c3 font: Isabelle +\ code: 0x002294 font: Isabelle +\ code: 0x002a06 font: Isabelle +\ code: 0x002293 font: Isabelle +\ code: 0x002a05 font: Isabelle +\ code: 0x002216 font: Isabelle +\ code: 0x00221d font: Isabelle +\ code: 0x00228e font: Isabelle +\ code: 0x002a04 font: Isabelle +\ code: 0x002260 font: Isabelle +\ code: 0x00223c font: Isabelle +\ code: 0x002250 font: Isabelle +\ code: 0x002243 font: Isabelle +\ code: 0x002248 font: Isabelle +\ code: 0x00224d font: Isabelle +\ code: 0x002245 font: Isabelle +\ code: 0x002323 font: Isabelle +\ code: 0x002261 font: Isabelle +\ code: 0x002322 font: Isabelle +\ code: 0x0022c8 font: Isabelle +\ code: 0x002a1d font: Isabelle +\ code: 0x00227a font: Isabelle +\ code: 0x00227b font: Isabelle +\ code: 0x00227c font: Isabelle +\ code: 0x00227d font: Isabelle +\ code: 0x002225 font: Isabelle +\ code: 0x0000a6 +\ code: 0x0000b1 font: Isabelle +\ code: 0x002213 font: Isabelle +\ code: 0x0000d7 font: Isabelle +\
code: 0x0000f7 font: Isabelle +\ code: 0x0022c5 font: Isabelle +\ code: 0x0022c6 font: Isabelle +\ code: 0x002219 font: Isabelle +\ code: 0x002218 font: Isabelle +\ code: 0x002020 font: Isabelle +\ code: 0x002021 font: Isabelle +\ code: 0x0022b2 font: Isabelle +\ code: 0x0022b3 font: Isabelle +\ code: 0x0022b4 font: Isabelle +\ code: 0x0022b5 font: Isabelle +\ code: 0x0025c3 font: Isabelle +\ code: 0x0025b9 font: Isabelle +\ code: 0x0025b3 font: Isabelle +\ code: 0x00225c font: Isabelle +\ code: 0x002295 font: Isabelle +\ code: 0x002a01 font: Isabelle +\ code: 0x002297 font: Isabelle +\ code: 0x002a02 font: Isabelle +\ code: 0x002299 font: Isabelle +\ code: 0x002a00 font: Isabelle +\ code: 0x002296 font: Isabelle +\ code: 0x002298 font: Isabelle +\ code: 0x002026 font: Isabelle +\ code: 0x0022ef font: Isabelle +\ code: 0x002211 font: Isabelle +\ code: 0x00220f font: Isabelle +\ code: 0x002210 font: Isabelle +\ code: 0x00221e font: Isabelle +\ code: 0x00222b font: Isabelle +\ code: 0x00222e font: Isabelle +\ code: 0x002663 font: Isabelle +\ code: 0x002662 font: Isabelle +\ code: 0x002661 font: Isabelle +\ code: 0x002660 font: Isabelle +\ code: 0x002135 font: Isabelle +\ code: 0x002205 font: Isabelle +\ code: 0x002207 font: Isabelle +\ code: 0x002202 font: Isabelle +\ code: 0x00211c font: Isabelle +\ code: 0x002111 font: Isabelle +\ code: 0x00266d font: Isabelle +\ code: 0x00266e font: Isabelle +\ code: 0x00266f font: Isabelle +\ code: 0x002220 font: Isabelle +\ code: 0x0000a9 font: Isabelle +\ code: 0x0000ae font: Isabelle +\ code: 0x0000ad +\ code: 0x0000af +\ code: 0x0000b9 +\ code: 0x0000bc +\ code: 0x0000b2 +\ code: 0x0000bd +\ code: 0x0000b3 +\ code: 0x0000be +\ code: 0x0000aa +\ code: 0x0000ba +\
code: 0x0000a7 +\ code: 0x0000b6 +\ code: 0x0000a1 +\ code: 0x0000bf +\ code: 0x0020ac font: Isabelle +\ code: 0x0000a3 +\ code: 0x0000a5 +\ code: 0x0000a2 +\ code: 0x0000a4 +\ code: 0x0000b0 font: Isabelle +\ code: 0x002a3f font: Isabelle +\ code: 0x002127 font: Isabelle +\ code: 0x0025ca font: Isabelle +\ code: 0x002118 font: Isabelle +\ code: 0x002240 font: Isabelle +\ code: 0x0022c4 font: Isabelle +\ code: 0x0000b4 +\ code: 0x000131 font: Isabelle +\ code: 0x0000a8 +\ code: 0x0000b8 +\ code: 0x0002dd +\ code: 0x002423 font: Isabelle +\ code: 0x0003f5 font: Isabelle

code: 0x01d4ab +#\ code: 0x01d4ac +#\ code: 0x00211b +#\ code: 0x01d4ae +#\ code: 0x01d4af +#\ code: 0x01d4b0 +#\ code: 0x01d4b1 +#\ code: 0x01d4b2 +#\ code: 0x01d4b3 +#\ code: 0x01d4b4 +#\ code: 0x01d4b5 +#\ code: 0x01d5ba +#\ code: 0x01d5bb +#\ code: 0x01d5bc +#\ code: 0x01d5bd +#\ code: 0x01d5be +#\ code: 0x01d5bf +#\ code: 0x01d5c0 +#\ code: 0x01d5c1 +#\ code: 0x01d5c2 +#\ code: 0x01d5c3 +#\ code: 0x01d5c4 +#\ code: 0x01d5c5 +#\ code: 0x01d5c6 +#\ code: 0x01d5c7 +#\ code: 0x01d5c8 +#\

code: 0x01d4ab -symbol: \ code: 0x01d4ac -symbol: \ code: 0x00211b -symbol: \ code: 0x01d4ae -symbol: \ code: 0x01d4af -symbol: \ code: 0x01d4b0 -symbol: \ code: 0x01d4b1 -symbol: \ code: 0x01d4b2 -symbol: \ code: 0x01d4b3 -symbol: \ code: 0x01d4b4 -symbol: \ code: 0x01d4b5 -symbol: \ code: 0x01d5ba -symbol: \ code: 0x01d5bb -symbol: \ code: 0x01d5bc -symbol: \ code: 0x01d5bd -symbol: \ code: 0x01d5be -symbol: \ code: 0x01d5bf -symbol: \ code: 0x01d5c0 -symbol: \ code: 0x01d5c1 -symbol: \ code: 0x01d5c2 -symbol: \ code: 0x01d5c3 -symbol: \ code: 0x01d5c4 -symbol: \ code: 0x01d5c5 -symbol: \ code: 0x01d5c6 -symbol: \ code: 0x01d5c7 -symbol: \ code: 0x01d5c8 -symbol: \