# HG changeset patch # User wenzelm # Date 1218813572 -7200 # Node ID e0953043ce904ccfaff1399f78d0dc65eef503cc # Parent 0e7ff439460ff4b8be755de20de683b3dece14a0 Default interpretation of some Isabelle symbols. diff -r 0e7ff439460f -r e0953043ce90 etc/symbols --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/etc/symbols Fri Aug 15 17:19:32 2008 +0200 @@ -0,0 +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 +