author | wenzelm |
Wed, 13 Feb 2013 12:06:21 +0100 | |
changeset 52226 | ced7163f1fe4 |
parent 51209 | 829ce6e03279 |
child 54158 | d0fa3f446b9d |
permissions | -rw-r--r-- |
wenzelm@27898 | 1 |
# Default interpretation of some Isabelle symbols |
wenzelm@27898 | 2 |
|
wenzelm@51203 | 3 |
\<zero> code: 0x01d7ec group: digit |
wenzelm@51203 | 4 |
\<one> code: 0x01d7ed group: digit |
wenzelm@51203 | 5 |
\<two> code: 0x01d7ee group: digit |
wenzelm@51203 | 6 |
\<three> code: 0x01d7ef group: digit |
wenzelm@51203 | 7 |
\<four> code: 0x01d7f0 group: digit |
wenzelm@51203 | 8 |
\<five> code: 0x01d7f1 group: digit |
wenzelm@51203 | 9 |
\<six> code: 0x01d7f2 group: digit |
wenzelm@51203 | 10 |
\<seven> code: 0x01d7f3 group: digit |
wenzelm@51203 | 11 |
\<eight> code: 0x01d7f4 group: digit |
wenzelm@51203 | 12 |
\<nine> code: 0x01d7f5 group: digit |
wenzelm@51152 | 13 |
\<A> code: 0x01d49c group: letter |
wenzelm@51152 | 14 |
\<B> code: 0x00212c group: letter |
wenzelm@51152 | 15 |
\<C> code: 0x01d49e group: letter |
wenzelm@51152 | 16 |
\<D> code: 0x01d49f group: letter |
wenzelm@51152 | 17 |
\<E> code: 0x002130 group: letter |
wenzelm@51152 | 18 |
\<F> code: 0x002131 group: letter |
wenzelm@51152 | 19 |
\<G> code: 0x01d4a2 group: letter |
wenzelm@51152 | 20 |
\<H> code: 0x00210b group: letter |
wenzelm@51152 | 21 |
\<I> code: 0x002110 group: letter |
wenzelm@51152 | 22 |
\<J> code: 0x01d4a5 group: letter |
wenzelm@51152 | 23 |
\<K> code: 0x01d4a6 group: letter |
wenzelm@51152 | 24 |
\<L> code: 0x002112 group: letter |
wenzelm@51152 | 25 |
\<M> code: 0x002133 group: letter |
wenzelm@51152 | 26 |
\<N> code: 0x01d4a9 group: letter |
wenzelm@51152 | 27 |
\<O> code: 0x01d4aa group: letter |
wenzelm@51152 | 28 |
\<P> code: 0x01d4ab group: letter |
wenzelm@51152 | 29 |
\<Q> code: 0x01d4ac group: letter |
wenzelm@51152 | 30 |
\<R> code: 0x00211b group: letter |
wenzelm@51152 | 31 |
\<S> code: 0x01d4ae group: letter |
wenzelm@51152 | 32 |
\<T> code: 0x01d4af group: letter |
wenzelm@51152 | 33 |
\<U> code: 0x01d4b0 group: letter |
wenzelm@51152 | 34 |
\<V> code: 0x01d4b1 group: letter |
wenzelm@51152 | 35 |
\<W> code: 0x01d4b2 group: letter |
wenzelm@51152 | 36 |
\<X> code: 0x01d4b3 group: letter |
wenzelm@51152 | 37 |
\<Y> code: 0x01d4b4 group: letter |
wenzelm@51152 | 38 |
\<Z> code: 0x01d4b5 group: letter |
wenzelm@51152 | 39 |
\<a> code: 0x01d5ba group: letter |
wenzelm@51152 | 40 |
\<b> code: 0x01d5bb group: letter |
wenzelm@51152 | 41 |
\<c> code: 0x01d5bc group: letter |
wenzelm@51152 | 42 |
\<d> code: 0x01d5bd group: letter |
wenzelm@51152 | 43 |
\<e> code: 0x01d5be group: letter |
wenzelm@51152 | 44 |
\<f> code: 0x01d5bf group: letter |
wenzelm@51152 | 45 |
\<g> code: 0x01d5c0 group: letter |
wenzelm@51152 | 46 |
\<h> code: 0x01d5c1 group: letter |
wenzelm@51152 | 47 |
\<i> code: 0x01d5c2 group: letter |
wenzelm@51152 | 48 |
\<j> code: 0x01d5c3 group: letter |
wenzelm@51152 | 49 |
\<k> code: 0x01d5c4 group: letter |
wenzelm@51152 | 50 |
\<l> code: 0x01d5c5 group: letter |
wenzelm@51152 | 51 |
\<m> code: 0x01d5c6 group: letter |
wenzelm@51152 | 52 |
\<n> code: 0x01d5c7 group: letter |
wenzelm@51152 | 53 |
\<o> code: 0x01d5c8 group: letter |
wenzelm@51152 | 54 |
\<p> code: 0x01d5c9 group: letter |
wenzelm@51152 | 55 |
\<q> code: 0x01d5ca group: letter |
wenzelm@51152 | 56 |
\<r> code: 0x01d5cb group: letter |
wenzelm@51152 | 57 |
\<s> code: 0x01d5cc group: letter |
wenzelm@51152 | 58 |
\<t> code: 0x01d5cd group: letter |
wenzelm@51152 | 59 |
\<u> code: 0x01d5ce group: letter |
wenzelm@51152 | 60 |
\<v> code: 0x01d5cf group: letter |
wenzelm@51152 | 61 |
\<w> code: 0x01d5d0 group: letter |
wenzelm@51152 | 62 |
\<x> code: 0x01d5d1 group: letter |
wenzelm@51152 | 63 |
\<y> code: 0x01d5d2 group: letter |
wenzelm@51152 | 64 |
\<z> code: 0x01d5d3 group: letter |
wenzelm@51152 | 65 |
\<AA> code: 0x01d504 group: letter |
wenzelm@51152 | 66 |
\<BB> code: 0x01d505 group: letter |
wenzelm@51152 | 67 |
\<CC> code: 0x00212d group: letter |
wenzelm@51152 | 68 |
\<DD> code: 0x01d507 group: letter |
wenzelm@51152 | 69 |
\<EE> code: 0x01d508 group: letter |
wenzelm@51152 | 70 |
\<FF> code: 0x01d509 group: letter |
wenzelm@51152 | 71 |
\<GG> code: 0x01d50a group: letter |
wenzelm@51152 | 72 |
\<HH> code: 0x00210c group: letter |
wenzelm@51152 | 73 |
\<II> code: 0x002111 group: letter |
wenzelm@51152 | 74 |
\<JJ> code: 0x01d50d group: letter |
wenzelm@51152 | 75 |
\<KK> code: 0x01d50e group: letter |
wenzelm@51152 | 76 |
\<LL> code: 0x01d50f group: letter |
wenzelm@51152 | 77 |
\<MM> code: 0x01d510 group: letter |
wenzelm@51152 | 78 |
\<NN> code: 0x01d511 group: letter |
wenzelm@51152 | 79 |
\<OO> code: 0x01d512 group: letter |
wenzelm@51152 | 80 |
\<PP> code: 0x01d513 group: letter |
wenzelm@51152 | 81 |
\<QQ> code: 0x01d514 group: letter |
wenzelm@51152 | 82 |
\<RR> code: 0x00211c group: letter |
wenzelm@51152 | 83 |
\<SS> code: 0x01d516 group: letter |
wenzelm@51152 | 84 |
\<TT> code: 0x01d517 group: letter |
wenzelm@51152 | 85 |
\<UU> code: 0x01d518 group: letter |
wenzelm@51152 | 86 |
\<VV> code: 0x01d519 group: letter |
wenzelm@51152 | 87 |
\<WW> code: 0x01d51a group: letter |
wenzelm@51152 | 88 |
\<XX> code: 0x01d51b group: letter |
wenzelm@51152 | 89 |
\<YY> code: 0x01d51c group: letter |
wenzelm@51152 | 90 |
\<ZZ> code: 0x002128 group: letter |
wenzelm@51152 | 91 |
\<aa> code: 0x01d51e group: letter |
wenzelm@51152 | 92 |
\<bb> code: 0x01d51f group: letter |
wenzelm@51152 | 93 |
\<cc> code: 0x01d520 group: letter |
wenzelm@51152 | 94 |
\<dd> code: 0x01d521 group: letter |
wenzelm@51152 | 95 |
\<ee> code: 0x01d522 group: letter |
wenzelm@51152 | 96 |
\<ff> code: 0x01d523 group: letter |
wenzelm@51152 | 97 |
\<gg> code: 0x01d524 group: letter |
wenzelm@51152 | 98 |
\<hh> code: 0x01d525 group: letter |
wenzelm@51152 | 99 |
\<ii> code: 0x01d526 group: letter |
wenzelm@51152 | 100 |
\<jj> code: 0x01d527 group: letter |
wenzelm@51152 | 101 |
\<kk> code: 0x01d528 group: letter |
wenzelm@51152 | 102 |
\<ll> code: 0x01d529 group: letter |
wenzelm@51152 | 103 |
\<mm> code: 0x01d52a group: letter |
wenzelm@51152 | 104 |
\<nn> code: 0x01d52b group: letter |
wenzelm@51152 | 105 |
\<oo> code: 0x01d52c group: letter |
wenzelm@51152 | 106 |
\<pp> code: 0x01d52d group: letter |
wenzelm@51152 | 107 |
\<qq> code: 0x01d52e group: letter |
wenzelm@51152 | 108 |
\<rr> code: 0x01d52f group: letter |
wenzelm@51152 | 109 |
\<ss> code: 0x01d530 group: letter |
wenzelm@51152 | 110 |
\<tt> code: 0x01d531 group: letter |
wenzelm@51152 | 111 |
\<uu> code: 0x01d532 group: letter |
wenzelm@51152 | 112 |
\<vv> code: 0x01d533 group: letter |
wenzelm@51152 | 113 |
\<ww> code: 0x01d534 group: letter |
wenzelm@51152 | 114 |
\<xx> code: 0x01d535 group: letter |
wenzelm@51152 | 115 |
\<yy> code: 0x01d536 group: letter |
wenzelm@51152 | 116 |
\<zz> code: 0x01d537 group: letter |
wenzelm@51152 | 117 |
\<alpha> code: 0x0003b1 group: greek |
wenzelm@51152 | 118 |
\<beta> code: 0x0003b2 group: greek |
wenzelm@51152 | 119 |
\<gamma> code: 0x0003b3 group: greek |
wenzelm@51152 | 120 |
\<delta> code: 0x0003b4 group: greek |
wenzelm@51152 | 121 |
\<epsilon> code: 0x0003b5 group: greek |
wenzelm@51152 | 122 |
\<zeta> code: 0x0003b6 group: greek |
wenzelm@51152 | 123 |
\<eta> code: 0x0003b7 group: greek |
wenzelm@51152 | 124 |
\<theta> code: 0x0003b8 group: greek |
wenzelm@51152 | 125 |
\<iota> code: 0x0003b9 group: greek |
wenzelm@51152 | 126 |
\<kappa> code: 0x0003ba group: greek |
wenzelm@51152 | 127 |
\<lambda> code: 0x0003bb group: greek abbrev: % |
wenzelm@51152 | 128 |
\<mu> code: 0x0003bc group: greek |
wenzelm@51152 | 129 |
\<nu> code: 0x0003bd group: greek |
wenzelm@51152 | 130 |
\<xi> code: 0x0003be group: greek |
wenzelm@51152 | 131 |
\<pi> code: 0x0003c0 group: greek |
wenzelm@51152 | 132 |
\<rho> code: 0x0003c1 group: greek |
wenzelm@51152 | 133 |
\<sigma> code: 0x0003c3 group: greek |
wenzelm@51152 | 134 |
\<tau> code: 0x0003c4 group: greek |
wenzelm@51152 | 135 |
\<upsilon> code: 0x0003c5 group: greek |
wenzelm@51152 | 136 |
\<phi> code: 0x0003c6 group: greek |
wenzelm@51152 | 137 |
\<chi> code: 0x0003c7 group: greek |
wenzelm@51152 | 138 |
\<psi> code: 0x0003c8 group: greek |
wenzelm@51152 | 139 |
\<omega> code: 0x0003c9 group: greek |
wenzelm@51152 | 140 |
\<Gamma> code: 0x000393 group: greek |
wenzelm@51152 | 141 |
\<Delta> code: 0x000394 group: greek |
wenzelm@51152 | 142 |
\<Theta> code: 0x000398 group: greek |
wenzelm@51152 | 143 |
\<Lambda> code: 0x00039b group: greek |
wenzelm@51152 | 144 |
\<Xi> code: 0x00039e group: greek |
wenzelm@51152 | 145 |
\<Pi> code: 0x0003a0 group: greek |
wenzelm@51152 | 146 |
\<Sigma> code: 0x0003a3 group: greek |
wenzelm@51152 | 147 |
\<Upsilon> code: 0x0003a5 group: greek |
wenzelm@51152 | 148 |
\<Phi> code: 0x0003a6 group: greek |
wenzelm@51152 | 149 |
\<Psi> code: 0x0003a8 group: greek |
wenzelm@51152 | 150 |
\<Omega> code: 0x0003a9 group: greek |
wenzelm@51152 | 151 |
\<bool> code: 0x01d539 group: letter |
wenzelm@51152 | 152 |
\<complex> code: 0x002102 group: letter |
wenzelm@51152 | 153 |
\<nat> code: 0x002115 group: letter |
wenzelm@51152 | 154 |
\<rat> code: 0x00211a group: letter |
wenzelm@51152 | 155 |
\<real> code: 0x00211d group: letter |
wenzelm@51152 | 156 |
\<int> code: 0x002124 group: letter |
wenzelm@51152 | 157 |
\<leftarrow> code: 0x002190 group: arrow |
wenzelm@51152 | 158 |
\<longleftarrow> code: 0x0027f5 group: arrow |
wenzelm@51152 | 159 |
\<rightarrow> code: 0x002192 group: arrow abbrev: -> |
wenzelm@51152 | 160 |
\<longrightarrow> code: 0x0027f6 group: arrow abbrev: --> |
wenzelm@51152 | 161 |
\<Leftarrow> code: 0x0021d0 group: arrow |
wenzelm@51152 | 162 |
\<Longleftarrow> code: 0x0027f8 group: arrow |
wenzelm@51152 | 163 |
\<Rightarrow> code: 0x0021d2 group: arrow abbrev: => |
wenzelm@51152 | 164 |
\<Longrightarrow> code: 0x0027f9 group: arrow abbrev: ==> |
wenzelm@51152 | 165 |
\<leftrightarrow> code: 0x002194 group: arrow |
wenzelm@51152 | 166 |
\<longleftrightarrow> code: 0x0027f7 group: arrow abbrev: <-> |
wenzelm@51152 | 167 |
\<Leftrightarrow> code: 0x0021d4 group: arrow |
wenzelm@51152 | 168 |
\<Longleftrightarrow> code: 0x0027fa group: arrow abbrev: <=> |
wenzelm@51152 | 169 |
\<mapsto> code: 0x0021a6 group: arrow abbrev: |-> |
wenzelm@51152 | 170 |
\<longmapsto> code: 0x0027fc group: arrow abbrev: |--> |
wenzelm@51152 | 171 |
\<midarrow> code: 0x002500 group: arrow |
wenzelm@51152 | 172 |
\<Midarrow> code: 0x002550 group: arrow |
wenzelm@51152 | 173 |
\<hookleftarrow> code: 0x0021a9 group: arrow |
wenzelm@51152 | 174 |
\<hookrightarrow> code: 0x0021aa group: arrow |
wenzelm@51152 | 175 |
\<leftharpoondown> code: 0x0021bd group: arrow |
wenzelm@51152 | 176 |
\<rightharpoondown> code: 0x0021c1 group: arrow |
wenzelm@51152 | 177 |
\<leftharpoonup> code: 0x0021bc group: arrow |
wenzelm@51152 | 178 |
\<rightharpoonup> code: 0x0021c0 group: arrow |
wenzelm@51152 | 179 |
\<rightleftharpoons> code: 0x0021cc group: arrow |
wenzelm@51152 | 180 |
\<leadsto> code: 0x00219d group: arrow abbrev: ~> |
wenzelm@51152 | 181 |
\<downharpoonleft> code: 0x0021c3 group: arrow |
wenzelm@51152 | 182 |
\<downharpoonright> code: 0x0021c2 group: arrow |
wenzelm@51152 | 183 |
\<upharpoonleft> code: 0x0021bf group: arrow |
wenzelm@51152 | 184 |
#\<upharpoonright> code: 0x0021be group: arrow |
wenzelm@51152 | 185 |
\<restriction> code: 0x0021be group: punctuation |
wenzelm@51152 | 186 |
\<Colon> code: 0x002237 group: punctuation |
wenzelm@51152 | 187 |
\<up> code: 0x002191 group: arrow |
wenzelm@51152 | 188 |
\<Up> code: 0x0021d1 group: arrow |
wenzelm@51152 | 189 |
\<down> code: 0x002193 group: arrow |
wenzelm@51152 | 190 |
\<Down> code: 0x0021d3 group: arrow |
wenzelm@51152 | 191 |
\<updown> code: 0x002195 group: arrow |
wenzelm@51152 | 192 |
\<Updown> code: 0x0021d5 group: arrow |
wenzelm@51152 | 193 |
\<langle> code: 0x0027e8 group: punctuation abbrev: <. |
wenzelm@51152 | 194 |
\<rangle> code: 0x0027e9 group: punctuation abbrev: .> |
wenzelm@51152 | 195 |
\<lceil> code: 0x002308 group: punctuation |
wenzelm@51152 | 196 |
\<rceil> code: 0x002309 group: punctuation |
wenzelm@51152 | 197 |
\<lfloor> code: 0x00230a group: punctuation |
wenzelm@51152 | 198 |
\<rfloor> code: 0x00230b group: punctuation |
wenzelm@51152 | 199 |
\<lparr> code: 0x002987 group: punctuation abbrev: (| |
wenzelm@51152 | 200 |
\<rparr> code: 0x002988 group: punctuation abbrev: |) |
wenzelm@51152 | 201 |
\<lbrakk> code: 0x0027e6 group: punctuation abbrev: [| |
wenzelm@51152 | 202 |
\<rbrakk> code: 0x0027e7 group: punctuation abbrev: |] |
wenzelm@51152 | 203 |
\<lbrace> code: 0x002983 group: punctuation abbrev: {. |
wenzelm@51152 | 204 |
\<rbrace> code: 0x002984 group: punctuation abbrev: .} |
wenzelm@51152 | 205 |
\<guillemotleft> code: 0x0000ab group: punctuation abbrev: << |
wenzelm@51152 | 206 |
\<guillemotright> code: 0x0000bb group: punctuation abbrev: >> |
wenzelm@51203 | 207 |
\<bottom> code: 0x0022a5 group: logic |
wenzelm@51203 | 208 |
\<top> code: 0x0022a4 group: logic |
wenzelm@51203 | 209 |
\<and> code: 0x002227 group: logic abbrev: /\ |
wenzelm@51203 | 210 |
\<And> code: 0x0022c0 group: logic abbrev: !! |
wenzelm@51203 | 211 |
\<or> code: 0x002228 group: logic abbrev: \/ |
wenzelm@51203 | 212 |
\<Or> code: 0x0022c1 group: logic abbrev: ?? |
wenzelm@51203 | 213 |
\<forall> code: 0x002200 group: logic abbrev: ! |
wenzelm@51203 | 214 |
\<exists> code: 0x002203 group: logic abbrev: ? |
wenzelm@51203 | 215 |
\<nexists> code: 0x002204 group: logic abbrev: ~? |
wenzelm@51203 | 216 |
\<not> code: 0x0000ac group: logic abbrev: ~ |
wenzelm@51203 | 217 |
\<box> code: 0x0025a1 group: logic |
wenzelm@51203 | 218 |
\<diamond> code: 0x0025c7 group: logic |
wenzelm@51152 | 219 |
\<turnstile> code: 0x0022a2 group: relation abbrev: |- |
wenzelm@51152 | 220 |
\<Turnstile> code: 0x0022a8 group: relation abbrev: |= |
wenzelm@51152 | 221 |
\<tturnstile> code: 0x0022a9 group: relation abbrev: ||- |
wenzelm@51152 | 222 |
\<TTurnstile> code: 0x0022ab group: relation abbrev: ||= |
wenzelm@51152 | 223 |
\<stileturn> code: 0x0022a3 group: relation abbrev: -| |
wenzelm@51152 | 224 |
\<surd> code: 0x00221a group: relation |
wenzelm@51152 | 225 |
\<le> code: 0x002264 group: relation abbrev: <= |
wenzelm@51152 | 226 |
\<ge> code: 0x002265 group: relation abbrev: >= |
wenzelm@51152 | 227 |
\<lless> code: 0x00226a group: relation |
wenzelm@51152 | 228 |
\<ggreater> code: 0x00226b group: relation |
wenzelm@51152 | 229 |
\<lesssim> code: 0x002272 group: relation |
wenzelm@51152 | 230 |
\<greatersim> code: 0x002273 group: relation |
wenzelm@51152 | 231 |
\<lessapprox> code: 0x002a85 group: relation |
wenzelm@51152 | 232 |
\<greaterapprox> code: 0x002a86 group: relation |
wenzelm@51152 | 233 |
\<in> code: 0x002208 group: relation abbrev: : |
wenzelm@51152 | 234 |
\<notin> code: 0x002209 group: relation abbrev: ~: |
wenzelm@51152 | 235 |
\<subset> code: 0x002282 group: relation |
wenzelm@51152 | 236 |
\<supset> code: 0x002283 group: relation |
wenzelm@51152 | 237 |
\<subseteq> code: 0x002286 group: relation abbrev: (= |
wenzelm@51152 | 238 |
\<supseteq> code: 0x002287 group: relation abbrev: =) |
wenzelm@51152 | 239 |
\<sqsubset> code: 0x00228f group: relation |
wenzelm@51152 | 240 |
\<sqsupset> code: 0x002290 group: relation |
wenzelm@51152 | 241 |
\<sqsubseteq> code: 0x002291 group: relation abbrev: [= |
wenzelm@51152 | 242 |
\<sqsupseteq> code: 0x002292 group: relation abbrev: =] |
wenzelm@51152 | 243 |
\<inter> code: 0x002229 group: operator abbrev: Int |
wenzelm@51152 | 244 |
\<Inter> code: 0x0022c2 group: operator abbrev: Inter |
wenzelm@51152 | 245 |
\<union> code: 0x00222a group: operator abbrev: Un |
wenzelm@51152 | 246 |
\<Union> code: 0x0022c3 group: operator abbrev: Union |
wenzelm@51152 | 247 |
\<squnion> code: 0x002294 group: operator |
wenzelm@51152 | 248 |
\<Squnion> code: 0x002a06 group: operator |
wenzelm@51152 | 249 |
\<sqinter> code: 0x002293 group: operator |
wenzelm@51152 | 250 |
\<Sqinter> code: 0x002a05 group: operator |
wenzelm@51152 | 251 |
\<setminus> code: 0x002216 group: operator |
wenzelm@51152 | 252 |
\<propto> code: 0x00221d group: operator |
wenzelm@51152 | 253 |
\<uplus> code: 0x00228e group: operator |
wenzelm@51152 | 254 |
\<Uplus> code: 0x002a04 group: operator |
wenzelm@51152 | 255 |
\<noteq> code: 0x002260 group: relation abbrev: ~= |
wenzelm@51152 | 256 |
\<sim> code: 0x00223c group: relation |
wenzelm@51152 | 257 |
\<doteq> code: 0x002250 group: relation |
wenzelm@51152 | 258 |
\<simeq> code: 0x002243 group: relation |
wenzelm@51152 | 259 |
\<approx> code: 0x002248 group: relation |
wenzelm@51152 | 260 |
\<asymp> code: 0x00224d group: relation |
wenzelm@51152 | 261 |
\<cong> code: 0x002245 group: relation |
wenzelm@51152 | 262 |
\<smile> code: 0x002323 group: relation |
wenzelm@51152 | 263 |
\<equiv> code: 0x002261 group: relation abbrev: == |
wenzelm@51152 | 264 |
\<frown> code: 0x002322 group: relation |
wenzelm@44357 | 265 |
\<Join> code: 0x0022c8 |
wenzelm@44357 | 266 |
\<bowtie> code: 0x002a1d |
wenzelm@51152 | 267 |
\<prec> code: 0x00227a group: relation |
wenzelm@51152 | 268 |
\<succ> code: 0x00227b group: relation |
wenzelm@51152 | 269 |
\<preceq> code: 0x00227c group: relation |
wenzelm@51152 | 270 |
\<succeq> code: 0x00227d group: relation |
wenzelm@51152 | 271 |
\<parallel> code: 0x002225 group: punctuation abbrev: || |
wenzelm@51152 | 272 |
\<bar> code: 0x0000a6 group: punctuation |
wenzelm@51152 | 273 |
\<plusminus> code: 0x0000b1 group: operator |
wenzelm@51152 | 274 |
\<minusplus> code: 0x002213 group: operator |
wenzelm@51152 | 275 |
\<times> code: 0x0000d7 group: operator |
wenzelm@51152 | 276 |
\<div> code: 0x0000f7 group: operator |
wenzelm@51152 | 277 |
\<cdot> code: 0x0022c5 group: operator |
wenzelm@51152 | 278 |
\<star> code: 0x0022c6 group: operator |
wenzelm@51152 | 279 |
\<bullet> code: 0x002219 group: operator |
wenzelm@51152 | 280 |
\<circ> code: 0x002218 group: operator |
wenzelm@44357 | 281 |
\<dagger> code: 0x002020 |
wenzelm@44357 | 282 |
\<ddagger> code: 0x002021 |
wenzelm@51152 | 283 |
\<lhd> code: 0x0022b2 group: relation |
wenzelm@51152 | 284 |
\<rhd> code: 0x0022b3 group: relation |
wenzelm@51152 | 285 |
\<unlhd> code: 0x0022b4 group: relation |
wenzelm@51152 | 286 |
\<unrhd> code: 0x0022b5 group: relation |
wenzelm@51152 | 287 |
\<triangleleft> code: 0x0025c3 group: relation |
wenzelm@51152 | 288 |
\<triangleright> code: 0x0025b9 group: relation |
wenzelm@51152 | 289 |
\<triangle> code: 0x0025b3 group: relation |
wenzelm@51152 | 290 |
\<triangleq> code: 0x00225c group: relation |
wenzelm@51152 | 291 |
\<oplus> code: 0x002295 group: operator abbrev: +o |
wenzelm@51152 | 292 |
\<Oplus> code: 0x002a01 group: operator abbrev: +O |
wenzelm@51152 | 293 |
\<otimes> code: 0x002297 group: operator abbrev: *o |
wenzelm@51152 | 294 |
\<Otimes> code: 0x002a02 group: operator abbrev: *O |
wenzelm@51152 | 295 |
\<odot> code: 0x002299 group: operator abbrev: .o |
wenzelm@51152 | 296 |
\<Odot> code: 0x002a00 group: operator abbrev: .O |
wenzelm@51152 | 297 |
\<ominus> code: 0x002296 group: operator abbrev: -o |
wenzelm@51152 | 298 |
\<oslash> code: 0x002298 group: operator abbrev: /o |
wenzelm@51203 | 299 |
\<dots> code: 0x002026 group: punctuation abbrev: ... |
wenzelm@51203 | 300 |
\<cdots> code: 0x0022ef group: punctuation |
wenzelm@51152 | 301 |
\<Sum> code: 0x002211 group: operator abbrev: SUM |
wenzelm@51152 | 302 |
\<Prod> code: 0x00220f group: operator abbrev: PROD |
wenzelm@51152 | 303 |
\<Coprod> code: 0x002210 group: operator |
wenzelm@44357 | 304 |
\<infinity> code: 0x00221e |
wenzelm@51152 | 305 |
\<integral> code: 0x00222b group: operator |
wenzelm@51152 | 306 |
\<ointegral> code: 0x00222e group: operator |
wenzelm@44357 | 307 |
\<clubsuit> code: 0x002663 |
wenzelm@44357 | 308 |
\<diamondsuit> code: 0x002662 |
wenzelm@44357 | 309 |
\<heartsuit> code: 0x002661 |
wenzelm@44357 | 310 |
\<spadesuit> code: 0x002660 |
wenzelm@51208 | 311 |
\<aleph> code: 0x002135 |
wenzelm@44357 | 312 |
\<emptyset> code: 0x002205 |
wenzelm@44357 | 313 |
\<nabla> code: 0x002207 |
wenzelm@44357 | 314 |
\<partial> code: 0x002202 |
wenzelm@44357 | 315 |
\<flat> code: 0x00266d |
wenzelm@44357 | 316 |
\<natural> code: 0x00266e |
wenzelm@44357 | 317 |
\<sharp> code: 0x00266f |
wenzelm@44357 | 318 |
\<angle> code: 0x002220 |
wenzelm@44357 | 319 |
\<copyright> code: 0x0000a9 |
wenzelm@44357 | 320 |
\<registered> code: 0x0000ae |
wenzelm@51152 | 321 |
\<hyphen> code: 0x0000ad group: punctuation |
wenzelm@51152 | 322 |
\<inverse> code: 0x0000af group: punctuation |
wenzelm@51203 | 323 |
\<onesuperior> code: 0x0000b9 group: digit |
wenzelm@51203 | 324 |
\<onequarter> code: 0x0000bc group: digit |
wenzelm@51203 | 325 |
\<twosuperior> code: 0x0000b2 group: digit |
wenzelm@51203 | 326 |
\<onehalf> code: 0x0000bd group: digit |
wenzelm@51203 | 327 |
\<threesuperior> code: 0x0000b3 group: digit |
wenzelm@51203 | 328 |
\<threequarters> code: 0x0000be group: digit |
wenzelm@27899 | 329 |
\<ordfeminine> code: 0x0000aa |
wenzelm@27899 | 330 |
\<ordmasculine> code: 0x0000ba |
wenzelm@27899 | 331 |
\<section> code: 0x0000a7 |
wenzelm@27899 | 332 |
\<paragraph> code: 0x0000b6 |
wenzelm@27899 | 333 |
\<exclamdown> code: 0x0000a1 |
wenzelm@27899 | 334 |
\<questiondown> code: 0x0000bf |
wenzelm@27900 | 335 |
\<euro> code: 0x0020ac |
wenzelm@27899 | 336 |
\<pounds> code: 0x0000a3 |
wenzelm@27899 | 337 |
\<yen> code: 0x0000a5 |
wenzelm@27899 | 338 |
\<cent> code: 0x0000a2 |
wenzelm@27899 | 339 |
\<currency> code: 0x0000a4 |
wenzelm@44357 | 340 |
\<degree> code: 0x0000b0 |
wenzelm@51152 | 341 |
\<amalg> code: 0x002a3f group: operator |
wenzelm@51152 | 342 |
\<mho> code: 0x002127 group: operator |
wenzelm@44357 | 343 |
\<lozenge> code: 0x0025ca |
wenzelm@51208 | 344 |
\<wp> code: 0x002118 |
wenzelm@51152 | 345 |
\<wrong> code: 0x002240 group: relation |
wenzelm@44357 | 346 |
\<struct> code: 0x0022c4 |
wenzelm@27899 | 347 |
\<acute> code: 0x0000b4 |
wenzelm@44357 | 348 |
\<index> code: 0x000131 |
wenzelm@27899 | 349 |
\<dieresis> code: 0x0000a8 |
wenzelm@27899 | 350 |
\<cedilla> code: 0x0000b8 |
wenzelm@27899 | 351 |
\<hungarumlaut> code: 0x0002dd |
wenzelm@44357 | 352 |
\<some> code: 0x0003f5 |
wenzelm@51209 | 353 |
\<^sub> code: 0x0021e9 group: control font: IsabelleText abbrev: =_ |
wenzelm@51209 | 354 |
\<^sup> code: 0x0021e7 group: control font: IsabelleText abbrev: =^ |
wenzelm@51209 | 355 |
\<^isub> code: 0x0021e3 group: control font: IsabelleText abbrev: -_ |
wenzelm@51209 | 356 |
\<^isup> code: 0x0021e1 group: control font: IsabelleText abbrev: -^ |
wenzelm@51209 | 357 |
\<^bold> code: 0x002759 group: control font: IsabelleText abbrev: -. |
wenzelm@51209 | 358 |
\<^bsub> code: 0x0021d8 group: control_block font: IsabelleText abbrev: =_( |
wenzelm@51209 | 359 |
\<^esub> code: 0x0021d9 group: control_block font: IsabelleText abbrev: =_) |
wenzelm@51209 | 360 |
\<^bsup> code: 0x0021d7 group: control_block font: IsabelleText abbrev: =^( |
wenzelm@51209 | 361 |
\<^esup> code: 0x0021d6 group: control_block font: IsabelleText abbrev: =^) |
wenzelm@27898 | 362 |