etc/symbols
changeset 50137 0226d408058b
parent 48670 206144b13849
child 50159 1f645910e177
     1.1 --- a/etc/symbols	Tue Nov 20 22:52:04 2012 +0100
     1.2 +++ b/etc/symbols	Tue Nov 20 22:53:59 2012 +0100
     1.3 @@ -10,305 +10,305 @@
     1.4  \<seven>                code: 0x01d7f3
     1.5  \<eight>                code: 0x01d7f4
     1.6  \<nine>                 code: 0x01d7f5
     1.7 -\<A>                    code: 0x01d49c
     1.8 -\<B>                    code: 0x00212c
     1.9 -\<C>                    code: 0x01d49e
    1.10 -\<D>                    code: 0x01d49f
    1.11 -\<E>                    code: 0x002130
    1.12 -\<F>                    code: 0x002131
    1.13 -\<G>                    code: 0x01d4a2
    1.14 -\<H>                    code: 0x00210b
    1.15 -\<I>                    code: 0x002110
    1.16 -\<J>                    code: 0x01d4a5
    1.17 -\<K>                    code: 0x01d4a6
    1.18 -\<L>                    code: 0x002112
    1.19 -\<M>                    code: 0x002133
    1.20 -\<N>                    code: 0x01d4a9
    1.21 -\<O>                    code: 0x01d4aa
    1.22 -\<P>                    code: 0x01d4ab
    1.23 -\<Q>                    code: 0x01d4ac
    1.24 -\<R>                    code: 0x00211b
    1.25 -\<S>                    code: 0x01d4ae
    1.26 -\<T>                    code: 0x01d4af
    1.27 -\<U>                    code: 0x01d4b0
    1.28 -\<V>                    code: 0x01d4b1
    1.29 -\<W>                    code: 0x01d4b2
    1.30 -\<X>                    code: 0x01d4b3
    1.31 -\<Y>                    code: 0x01d4b4
    1.32 -\<Z>                    code: 0x01d4b5
    1.33 -\<a>                    code: 0x01d5ba
    1.34 -\<b>                    code: 0x01d5bb
    1.35 -\<c>                    code: 0x01d5bc
    1.36 -\<d>                    code: 0x01d5bd
    1.37 -\<e>                    code: 0x01d5be
    1.38 -\<f>                    code: 0x01d5bf
    1.39 -\<g>                    code: 0x01d5c0
    1.40 -\<h>                    code: 0x01d5c1
    1.41 -\<i>                    code: 0x01d5c2
    1.42 -\<j>                    code: 0x01d5c3
    1.43 -\<k>                    code: 0x01d5c4
    1.44 -\<l>                    code: 0x01d5c5
    1.45 -\<m>                    code: 0x01d5c6
    1.46 -\<n>                    code: 0x01d5c7
    1.47 -\<o>                    code: 0x01d5c8
    1.48 -\<p>                    code: 0x01d5c9
    1.49 -\<q>                    code: 0x01d5ca
    1.50 -\<r>                    code: 0x01d5cb
    1.51 -\<s>                    code: 0x01d5cc
    1.52 -\<t>                    code: 0x01d5cd
    1.53 -\<u>                    code: 0x01d5ce
    1.54 -\<v>                    code: 0x01d5cf
    1.55 -\<w>                    code: 0x01d5d0
    1.56 -\<x>                    code: 0x01d5d1
    1.57 -\<y>                    code: 0x01d5d2
    1.58 -\<z>                    code: 0x01d5d3
    1.59 -\<AA>                   code: 0x01d504
    1.60 -\<BB>                   code: 0x01d505
    1.61 -\<CC>                   code: 0x00212d
    1.62 -\<DD>                   code: 0x01d507
    1.63 -\<EE>                   code: 0x01d508
    1.64 -\<FF>                   code: 0x01d509
    1.65 -\<GG>                   code: 0x01d50a
    1.66 -\<HH>                   code: 0x00210c
    1.67 -\<II>                   code: 0x002111
    1.68 -\<JJ>                   code: 0x01d50d
    1.69 -\<KK>                   code: 0x01d50e
    1.70 -\<LL>                   code: 0x01d50f
    1.71 -\<MM>                   code: 0x01d510
    1.72 -\<NN>                   code: 0x01d511
    1.73 -\<OO>                   code: 0x01d512
    1.74 -\<PP>                   code: 0x01d513
    1.75 -\<QQ>                   code: 0x01d514
    1.76 -\<RR>                   code: 0x00211c
    1.77 -\<SS>                   code: 0x01d516
    1.78 -\<TT>                   code: 0x01d517
    1.79 -\<UU>                   code: 0x01d518
    1.80 -\<VV>                   code: 0x01d519
    1.81 -\<WW>                   code: 0x01d51a
    1.82 -\<XX>                   code: 0x01d51b
    1.83 -\<YY>                   code: 0x01d51c
    1.84 -\<ZZ>                   code: 0x002128
    1.85 -\<aa>                   code: 0x01d51e
    1.86 -\<bb>                   code: 0x01d51f
    1.87 -\<cc>                   code: 0x01d520
    1.88 -\<dd>                   code: 0x01d521
    1.89 -\<ee>                   code: 0x01d522
    1.90 -\<ff>                   code: 0x01d523
    1.91 -\<gg>                   code: 0x01d524
    1.92 -\<hh>                   code: 0x01d525
    1.93 -\<ii>                   code: 0x01d526
    1.94 -\<jj>                   code: 0x01d527
    1.95 -\<kk>                   code: 0x01d528
    1.96 -\<ll>                   code: 0x01d529
    1.97 -\<mm>                   code: 0x01d52a
    1.98 -\<nn>                   code: 0x01d52b
    1.99 -\<oo>                   code: 0x01d52c
   1.100 -\<pp>                   code: 0x01d52d
   1.101 -\<qq>                   code: 0x01d52e
   1.102 -\<rr>                   code: 0x01d52f
   1.103 -\<ss>                   code: 0x01d530
   1.104 -\<tt>                   code: 0x01d531
   1.105 -\<uu>                   code: 0x01d532
   1.106 -\<vv>                   code: 0x01d533
   1.107 -\<ww>                   code: 0x01d534
   1.108 -\<xx>                   code: 0x01d535
   1.109 -\<yy>                   code: 0x01d536
   1.110 -\<zz>                   code: 0x01d537
   1.111 -\<alpha>                code: 0x0003b1
   1.112 -\<beta>                 code: 0x0003b2
   1.113 -\<gamma>                code: 0x0003b3
   1.114 -\<delta>                code: 0x0003b4
   1.115 -\<epsilon>              code: 0x0003b5
   1.116 -\<zeta>                 code: 0x0003b6
   1.117 -\<eta>                  code: 0x0003b7
   1.118 -\<theta>                code: 0x0003b8
   1.119 -\<iota>                 code: 0x0003b9
   1.120 -\<kappa>                code: 0x0003ba
   1.121 -\<lambda>               code: 0x0003bb  abbrev: %
   1.122 -\<mu>                   code: 0x0003bc
   1.123 -\<nu>                   code: 0x0003bd
   1.124 -\<xi>                   code: 0x0003be
   1.125 -\<pi>                   code: 0x0003c0
   1.126 -\<rho>                  code: 0x0003c1
   1.127 -\<sigma>                code: 0x0003c3
   1.128 -\<tau>                  code: 0x0003c4
   1.129 -\<upsilon>              code: 0x0003c5
   1.130 -\<phi>                  code: 0x0003c6
   1.131 -\<chi>                  code: 0x0003c7
   1.132 -\<psi>                  code: 0x0003c8
   1.133 -\<omega>                code: 0x0003c9
   1.134 -\<Gamma>                code: 0x000393
   1.135 -\<Delta>                code: 0x000394
   1.136 -\<Theta>                code: 0x000398
   1.137 -\<Lambda>               code: 0x00039b
   1.138 -\<Xi>                   code: 0x00039e
   1.139 -\<Pi>                   code: 0x0003a0
   1.140 -\<Sigma>                code: 0x0003a3
   1.141 -\<Upsilon>              code: 0x0003a5
   1.142 -\<Phi>                  code: 0x0003a6
   1.143 -\<Psi>                  code: 0x0003a8
   1.144 -\<Omega>                code: 0x0003a9
   1.145 -\<bool>                 code: 0x01d539
   1.146 -\<complex>              code: 0x002102
   1.147 -\<nat>                  code: 0x002115
   1.148 -\<rat>                  code: 0x00211a
   1.149 -\<real>                 code: 0x00211d
   1.150 -\<int>                  code: 0x002124
   1.151 -\<leftarrow>            code: 0x002190
   1.152 -\<longleftarrow>        code: 0x0027f5
   1.153 -\<rightarrow>           code: 0x002192  abbrev: ->
   1.154 -\<longrightarrow>       code: 0x0027f6  abbrev: -->
   1.155 -\<Leftarrow>            code: 0x0021d0
   1.156 -\<Longleftarrow>        code: 0x0027f8
   1.157 -\<Rightarrow>           code: 0x0021d2  abbrev: =>
   1.158 -\<Longrightarrow>       code: 0x0027f9  abbrev: ==>
   1.159 -\<leftrightarrow>       code: 0x002194
   1.160 -\<longleftrightarrow>   code: 0x0027f7  abbrev: <->
   1.161 -\<Leftrightarrow>       code: 0x0021d4
   1.162 -\<Longleftrightarrow>   code: 0x0027fa  abbrev: <=>
   1.163 -\<mapsto>               code: 0x0021a6  abbrev: |->
   1.164 -\<longmapsto>           code: 0x0027fc  abbrev: |-->
   1.165 -\<midarrow>             code: 0x002500
   1.166 -\<Midarrow>             code: 0x002550
   1.167 -\<hookleftarrow>        code: 0x0021a9
   1.168 -\<hookrightarrow>       code: 0x0021aa
   1.169 -\<leftharpoondown>      code: 0x0021bd
   1.170 -\<rightharpoondown>     code: 0x0021c1
   1.171 -\<leftharpoonup>        code: 0x0021bc
   1.172 -\<rightharpoonup>       code: 0x0021c0
   1.173 -\<rightleftharpoons>    code: 0x0021cc
   1.174 -\<leadsto>              code: 0x00219d  abbrev: ~>
   1.175 -\<downharpoonleft>      code: 0x0021c3
   1.176 -\<downharpoonright>     code: 0x0021c2
   1.177 -\<upharpoonleft>        code: 0x0021bf
   1.178 -#\<upharpoonright>       code: 0x0021be
   1.179 -\<restriction>          code: 0x0021be
   1.180 -\<Colon>                code: 0x002237
   1.181 -\<up>                   code: 0x002191
   1.182 -\<Up>                   code: 0x0021d1
   1.183 -\<down>                 code: 0x002193
   1.184 -\<Down>                 code: 0x0021d3
   1.185 -\<updown>               code: 0x002195
   1.186 -\<Updown>               code: 0x0021d5
   1.187 -\<langle>               code: 0x0027e8  abbrev: <.
   1.188 -\<rangle>               code: 0x0027e9  abbrev: .>
   1.189 -\<lceil>                code: 0x002308
   1.190 -\<rceil>                code: 0x002309
   1.191 -\<lfloor>               code: 0x00230a
   1.192 -\<rfloor>               code: 0x00230b
   1.193 -\<lparr>                code: 0x002987  abbrev: (|
   1.194 -\<rparr>                code: 0x002988  abbrev: |)
   1.195 -\<lbrakk>               code: 0x0027e6  abbrev: [|
   1.196 -\<rbrakk>               code: 0x0027e7  abbrev: |]
   1.197 -\<lbrace>               code: 0x002983  abbrev: {.
   1.198 -\<rbrace>               code: 0x002984  abbrev: .}
   1.199 -\<guillemotleft>        code: 0x0000ab  abbrev: <<
   1.200 -\<guillemotright>       code: 0x0000bb  abbrev: >>
   1.201 -\<bottom>               code: 0x0022a5
   1.202 -\<top>                  code: 0x0022a4
   1.203 -\<and>                  code: 0x002227  abbrev: /\
   1.204 -\<And>                  code: 0x0022c0  abbrev: !!
   1.205 -\<or>                   code: 0x002228  abbrev: \/
   1.206 -\<Or>                   code: 0x0022c1  abbrev: ??
   1.207 +\<A>                    code: 0x01d49c  group: letter
   1.208 +\<B>                    code: 0x00212c  group: letter
   1.209 +\<C>                    code: 0x01d49e  group: letter
   1.210 +\<D>                    code: 0x01d49f  group: letter
   1.211 +\<E>                    code: 0x002130  group: letter
   1.212 +\<F>                    code: 0x002131  group: letter
   1.213 +\<G>                    code: 0x01d4a2  group: letter
   1.214 +\<H>                    code: 0x00210b  group: letter
   1.215 +\<I>                    code: 0x002110  group: letter
   1.216 +\<J>                    code: 0x01d4a5  group: letter
   1.217 +\<K>                    code: 0x01d4a6  group: letter
   1.218 +\<L>                    code: 0x002112  group: letter
   1.219 +\<M>                    code: 0x002133  group: letter
   1.220 +\<N>                    code: 0x01d4a9  group: letter
   1.221 +\<O>                    code: 0x01d4aa  group: letter
   1.222 +\<P>                    code: 0x01d4ab  group: letter
   1.223 +\<Q>                    code: 0x01d4ac  group: letter
   1.224 +\<R>                    code: 0x00211b  group: letter
   1.225 +\<S>                    code: 0x01d4ae  group: letter
   1.226 +\<T>                    code: 0x01d4af  group: letter
   1.227 +\<U>                    code: 0x01d4b0  group: letter
   1.228 +\<V>                    code: 0x01d4b1  group: letter
   1.229 +\<W>                    code: 0x01d4b2  group: letter
   1.230 +\<X>                    code: 0x01d4b3  group: letter
   1.231 +\<Y>                    code: 0x01d4b4  group: letter
   1.232 +\<Z>                    code: 0x01d4b5  group: letter
   1.233 +\<a>                    code: 0x01d5ba  group: letter
   1.234 +\<b>                    code: 0x01d5bb  group: letter
   1.235 +\<c>                    code: 0x01d5bc  group: letter
   1.236 +\<d>                    code: 0x01d5bd  group: letter
   1.237 +\<e>                    code: 0x01d5be  group: letter
   1.238 +\<f>                    code: 0x01d5bf  group: letter
   1.239 +\<g>                    code: 0x01d5c0  group: letter
   1.240 +\<h>                    code: 0x01d5c1  group: letter
   1.241 +\<i>                    code: 0x01d5c2  group: letter
   1.242 +\<j>                    code: 0x01d5c3  group: letter
   1.243 +\<k>                    code: 0x01d5c4  group: letter
   1.244 +\<l>                    code: 0x01d5c5  group: letter
   1.245 +\<m>                    code: 0x01d5c6  group: letter
   1.246 +\<n>                    code: 0x01d5c7  group: letter
   1.247 +\<o>                    code: 0x01d5c8  group: letter
   1.248 +\<p>                    code: 0x01d5c9  group: letter
   1.249 +\<q>                    code: 0x01d5ca  group: letter
   1.250 +\<r>                    code: 0x01d5cb  group: letter
   1.251 +\<s>                    code: 0x01d5cc  group: letter
   1.252 +\<t>                    code: 0x01d5cd  group: letter
   1.253 +\<u>                    code: 0x01d5ce  group: letter
   1.254 +\<v>                    code: 0x01d5cf  group: letter
   1.255 +\<w>                    code: 0x01d5d0  group: letter
   1.256 +\<x>                    code: 0x01d5d1  group: letter
   1.257 +\<y>                    code: 0x01d5d2  group: letter
   1.258 +\<z>                    code: 0x01d5d3  group: letter
   1.259 +\<AA>                   code: 0x01d504  group: letter
   1.260 +\<BB>                   code: 0x01d505  group: letter
   1.261 +\<CC>                   code: 0x00212d  group: letter
   1.262 +\<DD>                   code: 0x01d507  group: letter
   1.263 +\<EE>                   code: 0x01d508  group: letter
   1.264 +\<FF>                   code: 0x01d509  group: letter
   1.265 +\<GG>                   code: 0x01d50a  group: letter
   1.266 +\<HH>                   code: 0x00210c  group: letter
   1.267 +\<II>                   code: 0x002111  group: letter
   1.268 +\<JJ>                   code: 0x01d50d  group: letter
   1.269 +\<KK>                   code: 0x01d50e  group: letter
   1.270 +\<LL>                   code: 0x01d50f  group: letter
   1.271 +\<MM>                   code: 0x01d510  group: letter
   1.272 +\<NN>                   code: 0x01d511  group: letter
   1.273 +\<OO>                   code: 0x01d512  group: letter
   1.274 +\<PP>                   code: 0x01d513  group: letter
   1.275 +\<QQ>                   code: 0x01d514  group: letter
   1.276 +\<RR>                   code: 0x00211c  group: letter
   1.277 +\<SS>                   code: 0x01d516  group: letter
   1.278 +\<TT>                   code: 0x01d517  group: letter
   1.279 +\<UU>                   code: 0x01d518  group: letter
   1.280 +\<VV>                   code: 0x01d519  group: letter
   1.281 +\<WW>                   code: 0x01d51a  group: letter
   1.282 +\<XX>                   code: 0x01d51b  group: letter
   1.283 +\<YY>                   code: 0x01d51c  group: letter
   1.284 +\<ZZ>                   code: 0x002128  group: letter
   1.285 +\<aa>                   code: 0x01d51e  group: letter
   1.286 +\<bb>                   code: 0x01d51f  group: letter
   1.287 +\<cc>                   code: 0x01d520  group: letter
   1.288 +\<dd>                   code: 0x01d521  group: letter
   1.289 +\<ee>                   code: 0x01d522  group: letter
   1.290 +\<ff>                   code: 0x01d523  group: letter
   1.291 +\<gg>                   code: 0x01d524  group: letter
   1.292 +\<hh>                   code: 0x01d525  group: letter
   1.293 +\<ii>                   code: 0x01d526  group: letter
   1.294 +\<jj>                   code: 0x01d527  group: letter
   1.295 +\<kk>                   code: 0x01d528  group: letter
   1.296 +\<ll>                   code: 0x01d529  group: letter
   1.297 +\<mm>                   code: 0x01d52a  group: letter
   1.298 +\<nn>                   code: 0x01d52b  group: letter
   1.299 +\<oo>                   code: 0x01d52c  group: letter
   1.300 +\<pp>                   code: 0x01d52d  group: letter
   1.301 +\<qq>                   code: 0x01d52e  group: letter
   1.302 +\<rr>                   code: 0x01d52f  group: letter
   1.303 +\<ss>                   code: 0x01d530  group: letter
   1.304 +\<tt>                   code: 0x01d531  group: letter
   1.305 +\<uu>                   code: 0x01d532  group: letter
   1.306 +\<vv>                   code: 0x01d533  group: letter
   1.307 +\<ww>                   code: 0x01d534  group: letter
   1.308 +\<xx>                   code: 0x01d535  group: letter
   1.309 +\<yy>                   code: 0x01d536  group: letter
   1.310 +\<zz>                   code: 0x01d537  group: letter
   1.311 +\<alpha>                code: 0x0003b1  group: greek
   1.312 +\<beta>                 code: 0x0003b2  group: greek
   1.313 +\<gamma>                code: 0x0003b3  group: greek
   1.314 +\<delta>                code: 0x0003b4  group: greek
   1.315 +\<epsilon>              code: 0x0003b5  group: greek
   1.316 +\<zeta>                 code: 0x0003b6  group: greek
   1.317 +\<eta>                  code: 0x0003b7  group: greek
   1.318 +\<theta>                code: 0x0003b8  group: greek
   1.319 +\<iota>                 code: 0x0003b9  group: greek
   1.320 +\<kappa>                code: 0x0003ba  group: greek
   1.321 +\<lambda>               code: 0x0003bb  group: greek  abbrev: %
   1.322 +\<mu>                   code: 0x0003bc  group: greek
   1.323 +\<nu>                   code: 0x0003bd  group: greek
   1.324 +\<xi>                   code: 0x0003be  group: greek
   1.325 +\<pi>                   code: 0x0003c0  group: greek
   1.326 +\<rho>                  code: 0x0003c1  group: greek
   1.327 +\<sigma>                code: 0x0003c3  group: greek
   1.328 +\<tau>                  code: 0x0003c4  group: greek
   1.329 +\<upsilon>              code: 0x0003c5  group: greek
   1.330 +\<phi>                  code: 0x0003c6  group: greek
   1.331 +\<chi>                  code: 0x0003c7  group: greek
   1.332 +\<psi>                  code: 0x0003c8  group: greek
   1.333 +\<omega>                code: 0x0003c9  group: greek
   1.334 +\<Gamma>                code: 0x000393  group: greek
   1.335 +\<Delta>                code: 0x000394  group: greek
   1.336 +\<Theta>                code: 0x000398  group: greek
   1.337 +\<Lambda>               code: 0x00039b  group: greek
   1.338 +\<Xi>                   code: 0x00039e  group: greek
   1.339 +\<Pi>                   code: 0x0003a0  group: greek
   1.340 +\<Sigma>                code: 0x0003a3  group: greek
   1.341 +\<Upsilon>              code: 0x0003a5  group: greek
   1.342 +\<Phi>                  code: 0x0003a6  group: greek
   1.343 +\<Psi>                  code: 0x0003a8  group: greek
   1.344 +\<Omega>                code: 0x0003a9  group: greek
   1.345 +\<bool>                 code: 0x01d539  group: letter
   1.346 +\<complex>              code: 0x002102  group: letter
   1.347 +\<nat>                  code: 0x002115  group: letter
   1.348 +\<rat>                  code: 0x00211a  group: letter
   1.349 +\<real>                 code: 0x00211d  group: letter
   1.350 +\<int>                  code: 0x002124  group: letter
   1.351 +\<leftarrow>            code: 0x002190  group: arrow
   1.352 +\<longleftarrow>        code: 0x0027f5  group: arrow
   1.353 +\<rightarrow>           code: 0x002192  group: arrow  abbrev: ->
   1.354 +\<longrightarrow>       code: 0x0027f6  group: arrow  abbrev: -->
   1.355 +\<Leftarrow>            code: 0x0021d0  group: arrow
   1.356 +\<Longleftarrow>        code: 0x0027f8  group: arrow
   1.357 +\<Rightarrow>           code: 0x0021d2  group: arrow  abbrev: =>
   1.358 +\<Longrightarrow>       code: 0x0027f9  group: arrow  abbrev: ==>
   1.359 +\<leftrightarrow>       code: 0x002194  group: arrow
   1.360 +\<longleftrightarrow>   code: 0x0027f7  group: arrow  abbrev: <->
   1.361 +\<Leftrightarrow>       code: 0x0021d4  group: arrow
   1.362 +\<Longleftrightarrow>   code: 0x0027fa  group: arrow  abbrev: <=>
   1.363 +\<mapsto>               code: 0x0021a6  group: arrow  abbrev: |->
   1.364 +\<longmapsto>           code: 0x0027fc  group: arrow  abbrev: |-->
   1.365 +\<midarrow>             code: 0x002500  group: arrow
   1.366 +\<Midarrow>             code: 0x002550  group: arrow
   1.367 +\<hookleftarrow>        code: 0x0021a9  group: arrow
   1.368 +\<hookrightarrow>       code: 0x0021aa  group: arrow
   1.369 +\<leftharpoondown>      code: 0x0021bd  group: arrow
   1.370 +\<rightharpoondown>     code: 0x0021c1  group: arrow
   1.371 +\<leftharpoonup>        code: 0x0021bc  group: arrow
   1.372 +\<rightharpoonup>       code: 0x0021c0  group: arrow
   1.373 +\<rightleftharpoons>    code: 0x0021cc  group: arrow
   1.374 +\<leadsto>              code: 0x00219d  group: arrow  abbrev: ~>
   1.375 +\<downharpoonleft>      code: 0x0021c3  group: arrow
   1.376 +\<downharpoonright>     code: 0x0021c2  group: arrow
   1.377 +\<upharpoonleft>        code: 0x0021bf  group: arrow
   1.378 +#\<upharpoonright>       code: 0x0021be  group: arrow
   1.379 +\<restriction>          code: 0x0021be  group: punctuation
   1.380 +\<Colon>                code: 0x002237  group: punctuation
   1.381 +\<up>                   code: 0x002191  group: arrow
   1.382 +\<Up>                   code: 0x0021d1  group: arrow
   1.383 +\<down>                 code: 0x002193  group: arrow
   1.384 +\<Down>                 code: 0x0021d3  group: arrow
   1.385 +\<updown>               code: 0x002195  group: arrow
   1.386 +\<Updown>               code: 0x0021d5  group: arrow
   1.387 +\<langle>               code: 0x0027e8  group: punctuation  abbrev: <.
   1.388 +\<rangle>               code: 0x0027e9  group: punctuation  abbrev: .>
   1.389 +\<lceil>                code: 0x002308  group: punctuation
   1.390 +\<rceil>                code: 0x002309  group: punctuation
   1.391 +\<lfloor>               code: 0x00230a  group: punctuation
   1.392 +\<rfloor>               code: 0x00230b  group: punctuation
   1.393 +\<lparr>                code: 0x002987  group: punctuation  abbrev: (|
   1.394 +\<rparr>                code: 0x002988  group: punctuation  abbrev: |)
   1.395 +\<lbrakk>               code: 0x0027e6  group: punctuation  abbrev: [|
   1.396 +\<rbrakk>               code: 0x0027e7  group: punctuation  abbrev: |]
   1.397 +\<lbrace>               code: 0x002983  group: punctuation  abbrev: {.
   1.398 +\<rbrace>               code: 0x002984  group: punctuation  abbrev: .}
   1.399 +\<guillemotleft>        code: 0x0000ab  group: punctuation  abbrev: <<
   1.400 +\<guillemotright>       code: 0x0000bb  group: punctuation  abbrev: >>
   1.401 +\<bottom>               code: 0x0022a5  group: arrow
   1.402 +\<top>                  code: 0x0022a4  group: arrow
   1.403 +\<and>                  code: 0x002227  group: operator  abbrev: /\
   1.404 +\<And>                  code: 0x0022c0  group: operator  abbrev: !!
   1.405 +\<or>                   code: 0x002228  group: operator  abbrev: \/
   1.406 +\<Or>                   code: 0x0022c1  group: operator  abbrev: ??
   1.407  \<forall>               code: 0x002200  abbrev: !
   1.408  \<exists>               code: 0x002203  abbrev: ?
   1.409  \<nexists>              code: 0x002204  abbrev: ~?
   1.410  \<not>                  code: 0x0000ac  abbrev: ~
   1.411  \<box>                  code: 0x0025a1
   1.412  \<diamond>              code: 0x0025c7
   1.413 -\<turnstile>            code: 0x0022a2  abbrev: |-
   1.414 -\<Turnstile>            code: 0x0022a8  abbrev: |=
   1.415 -\<tturnstile>           code: 0x0022a9  abbrev: ||-
   1.416 -\<TTurnstile>           code: 0x0022ab  abbrev: ||=
   1.417 -\<stileturn>            code: 0x0022a3  abbrev: -|
   1.418 -\<surd>                 code: 0x00221a
   1.419 -\<le>                   code: 0x002264  abbrev: <=
   1.420 -\<ge>                   code: 0x002265  abbrev: >=
   1.421 -\<lless>                code: 0x00226a
   1.422 -\<ggreater>             code: 0x00226b
   1.423 -\<lesssim>              code: 0x002272
   1.424 -\<greatersim>           code: 0x002273
   1.425 -\<lessapprox>           code: 0x002a85
   1.426 -\<greaterapprox>        code: 0x002a86
   1.427 -\<in>                   code: 0x002208  abbrev: :
   1.428 -\<notin>                code: 0x002209  abbrev: ~:
   1.429 -\<subset>               code: 0x002282
   1.430 -\<supset>               code: 0x002283
   1.431 -\<subseteq>             code: 0x002286  abbrev: (=
   1.432 -\<supseteq>             code: 0x002287  abbrev: =)
   1.433 -\<sqsubset>             code: 0x00228f
   1.434 -\<sqsupset>             code: 0x002290
   1.435 -\<sqsubseteq>           code: 0x002291  abbrev: [=
   1.436 -\<sqsupseteq>           code: 0x002292  abbrev: =]
   1.437 -\<inter>                code: 0x002229  abbrev: Int
   1.438 -\<Inter>                code: 0x0022c2  abbrev: Inter
   1.439 -\<union>                code: 0x00222a  abbrev: Un
   1.440 -\<Union>                code: 0x0022c3  abbrev: Union
   1.441 -\<squnion>              code: 0x002294
   1.442 -\<Squnion>              code: 0x002a06
   1.443 -\<sqinter>              code: 0x002293
   1.444 -\<Sqinter>              code: 0x002a05
   1.445 -\<setminus>             code: 0x002216
   1.446 -\<propto>               code: 0x00221d
   1.447 -\<uplus>                code: 0x00228e
   1.448 -\<Uplus>                code: 0x002a04
   1.449 -\<noteq>                code: 0x002260  abbrev: ~=
   1.450 -\<sim>                  code: 0x00223c
   1.451 -\<doteq>                code: 0x002250
   1.452 -\<simeq>                code: 0x002243
   1.453 -\<approx>               code: 0x002248
   1.454 -\<asymp>                code: 0x00224d
   1.455 -\<cong>                 code: 0x002245
   1.456 -\<smile>                code: 0x002323
   1.457 -\<equiv>                code: 0x002261  abbrev: ==
   1.458 -\<frown>                code: 0x002322
   1.459 +\<turnstile>            code: 0x0022a2  group: relation  abbrev: |-
   1.460 +\<Turnstile>            code: 0x0022a8  group: relation  abbrev: |=
   1.461 +\<tturnstile>           code: 0x0022a9  group: relation  abbrev: ||-
   1.462 +\<TTurnstile>           code: 0x0022ab  group: relation  abbrev: ||=
   1.463 +\<stileturn>            code: 0x0022a3  group: relation  abbrev: -|
   1.464 +\<surd>                 code: 0x00221a  group: relation
   1.465 +\<le>                   code: 0x002264  group: relation  abbrev: <=
   1.466 +\<ge>                   code: 0x002265  group: relation  abbrev: >=
   1.467 +\<lless>                code: 0x00226a  group: relation
   1.468 +\<ggreater>             code: 0x00226b  group: relation
   1.469 +\<lesssim>              code: 0x002272  group: relation
   1.470 +\<greatersim>           code: 0x002273  group: relation
   1.471 +\<lessapprox>           code: 0x002a85  group: relation
   1.472 +\<greaterapprox>        code: 0x002a86  group: relation
   1.473 +\<in>                   code: 0x002208  group: relation  abbrev: :
   1.474 +\<notin>                code: 0x002209  group: relation  abbrev: ~:
   1.475 +\<subset>               code: 0x002282  group: relation
   1.476 +\<supset>               code: 0x002283  group: relation
   1.477 +\<subseteq>             code: 0x002286  group: relation  abbrev: (=
   1.478 +\<supseteq>             code: 0x002287  group: relation  abbrev: =)
   1.479 +\<sqsubset>             code: 0x00228f  group: relation
   1.480 +\<sqsupset>             code: 0x002290  group: relation
   1.481 +\<sqsubseteq>           code: 0x002291  group: relation  abbrev: [=
   1.482 +\<sqsupseteq>           code: 0x002292  group: relation  abbrev: =]
   1.483 +\<inter>                code: 0x002229  group: operator  abbrev: Int
   1.484 +\<Inter>                code: 0x0022c2  group: operator  abbrev: Inter
   1.485 +\<union>                code: 0x00222a  group: operator  abbrev: Un
   1.486 +\<Union>                code: 0x0022c3  group: operator  abbrev: Union
   1.487 +\<squnion>              code: 0x002294  group: operator
   1.488 +\<Squnion>              code: 0x002a06  group: operator
   1.489 +\<sqinter>              code: 0x002293  group: operator
   1.490 +\<Sqinter>              code: 0x002a05  group: operator
   1.491 +\<setminus>             code: 0x002216  group: operator
   1.492 +\<propto>               code: 0x00221d  group: operator
   1.493 +\<uplus>                code: 0x00228e  group: operator
   1.494 +\<Uplus>                code: 0x002a04  group: operator
   1.495 +\<noteq>                code: 0x002260  group: relation  abbrev: ~=
   1.496 +\<sim>                  code: 0x00223c  group: relation
   1.497 +\<doteq>                code: 0x002250  group: relation
   1.498 +\<simeq>                code: 0x002243  group: relation
   1.499 +\<approx>               code: 0x002248  group: relation
   1.500 +\<asymp>                code: 0x00224d  group: relation
   1.501 +\<cong>                 code: 0x002245  group: relation
   1.502 +\<smile>                code: 0x002323  group: relation
   1.503 +\<equiv>                code: 0x002261  group: relation  abbrev: ==
   1.504 +\<frown>                code: 0x002322  group: relation
   1.505  \<Join>                 code: 0x0022c8
   1.506  \<bowtie>               code: 0x002a1d
   1.507 -\<prec>                 code: 0x00227a
   1.508 -\<succ>                 code: 0x00227b
   1.509 -\<preceq>               code: 0x00227c
   1.510 -\<succeq>               code: 0x00227d
   1.511 -\<parallel>             code: 0x002225  abbrev: ||
   1.512 -\<bar>                  code: 0x0000a6
   1.513 -\<plusminus>            code: 0x0000b1
   1.514 -\<minusplus>            code: 0x002213
   1.515 -\<times>                code: 0x0000d7
   1.516 -\<div>                  code: 0x0000f7
   1.517 -\<cdot>                 code: 0x0022c5
   1.518 -\<star>                 code: 0x0022c6
   1.519 -\<bullet>               code: 0x002219
   1.520 -\<circ>                 code: 0x002218
   1.521 +\<prec>                 code: 0x00227a  group: relation
   1.522 +\<succ>                 code: 0x00227b  group: relation
   1.523 +\<preceq>               code: 0x00227c  group: relation
   1.524 +\<succeq>               code: 0x00227d  group: relation
   1.525 +\<parallel>             code: 0x002225  group: punctuation  abbrev: ||
   1.526 +\<bar>                  code: 0x0000a6  group: punctuation
   1.527 +\<plusminus>            code: 0x0000b1  group: operator
   1.528 +\<minusplus>            code: 0x002213  group: operator
   1.529 +\<times>                code: 0x0000d7  group: operator
   1.530 +\<div>                  code: 0x0000f7  group: operator
   1.531 +\<cdot>                 code: 0x0022c5  group: operator
   1.532 +\<star>                 code: 0x0022c6  group: operator
   1.533 +\<bullet>               code: 0x002219  group: operator
   1.534 +\<circ>                 code: 0x002218  group: operator
   1.535  \<dagger>               code: 0x002020
   1.536  \<ddagger>              code: 0x002021
   1.537 -\<lhd>                  code: 0x0022b2
   1.538 -\<rhd>                  code: 0x0022b3
   1.539 -\<unlhd>                code: 0x0022b4
   1.540 -\<unrhd>                code: 0x0022b5
   1.541 -\<triangleleft>         code: 0x0025c3
   1.542 -\<triangleright>        code: 0x0025b9
   1.543 -\<triangle>             code: 0x0025b3
   1.544 -\<triangleq>            code: 0x00225c
   1.545 -\<oplus>                code: 0x002295  abbrev: +o
   1.546 -\<Oplus>                code: 0x002a01  abbrev: +O
   1.547 -\<otimes>               code: 0x002297  abbrev: *o
   1.548 -\<Otimes>               code: 0x002a02  abbrev: *O
   1.549 -\<odot>                 code: 0x002299  abbrev: .o
   1.550 -\<Odot>                 code: 0x002a00  abbrev: .O
   1.551 -\<ominus>               code: 0x002296  abbrev: -o
   1.552 -\<oslash>               code: 0x002298  abbrev: /o
   1.553 +\<lhd>                  code: 0x0022b2  group: relation
   1.554 +\<rhd>                  code: 0x0022b3  group: relation
   1.555 +\<unlhd>                code: 0x0022b4  group: relation
   1.556 +\<unrhd>                code: 0x0022b5  group: relation
   1.557 +\<triangleleft>         code: 0x0025c3  group: relation
   1.558 +\<triangleright>        code: 0x0025b9  group: relation
   1.559 +\<triangle>             code: 0x0025b3  group: relation
   1.560 +\<triangleq>            code: 0x00225c  group: relation
   1.561 +\<oplus>                code: 0x002295  group: operator  abbrev: +o
   1.562 +\<Oplus>                code: 0x002a01  group: operator  abbrev: +O
   1.563 +\<otimes>               code: 0x002297  group: operator  abbrev: *o
   1.564 +\<Otimes>               code: 0x002a02  group: operator  abbrev: *O
   1.565 +\<odot>                 code: 0x002299  group: operator  abbrev: .o
   1.566 +\<Odot>                 code: 0x002a00  group: operator  abbrev: .O
   1.567 +\<ominus>               code: 0x002296  group: operator  abbrev: -o
   1.568 +\<oslash>               code: 0x002298  group: operator  abbrev: /o
   1.569  \<dots>                 code: 0x002026  abbrev: ...
   1.570  \<cdots>                code: 0x0022ef
   1.571 -\<Sum>                  code: 0x002211  abbrev: SUM
   1.572 -\<Prod>                 code: 0x00220f  abbrev: PROD
   1.573 -\<Coprod>               code: 0x002210
   1.574 +\<Sum>                  code: 0x002211  group: operator  abbrev: SUM
   1.575 +\<Prod>                 code: 0x00220f  group: operator  abbrev: PROD
   1.576 +\<Coprod>               code: 0x002210  group: operator
   1.577  \<infinity>             code: 0x00221e
   1.578 -\<integral>             code: 0x00222b
   1.579 -\<ointegral>            code: 0x00222e
   1.580 +\<integral>             code: 0x00222b  group: operator
   1.581 +\<ointegral>            code: 0x00222e  group: operator
   1.582  \<clubsuit>             code: 0x002663
   1.583  \<diamondsuit>          code: 0x002662
   1.584  \<heartsuit>            code: 0x002661
   1.585  \<spadesuit>            code: 0x002660
   1.586 -\<aleph>                code: 0x002135
   1.587 +\<aleph>                code: 0x002135  group: letter
   1.588  \<emptyset>             code: 0x002205
   1.589  \<nabla>                code: 0x002207
   1.590  \<partial>              code: 0x002202
   1.591 @@ -318,8 +318,8 @@
   1.592  \<angle>                code: 0x002220
   1.593  \<copyright>            code: 0x0000a9
   1.594  \<registered>           code: 0x0000ae
   1.595 -\<hyphen>               code: 0x0000ad
   1.596 -\<inverse>              code: 0x0000af
   1.597 +\<hyphen>               code: 0x0000ad  group: punctuation
   1.598 +\<inverse>              code: 0x0000af  group: punctuation
   1.599  \<onesuperior>          code: 0x0000b9
   1.600  \<onequarter>           code: 0x0000bc
   1.601  \<twosuperior>          code: 0x0000b2
   1.602 @@ -338,11 +338,11 @@
   1.603  \<cent>                 code: 0x0000a2
   1.604  \<currency>             code: 0x0000a4
   1.605  \<degree>               code: 0x0000b0
   1.606 -\<amalg>                code: 0x002a3f
   1.607 -\<mho>                  code: 0x002127
   1.608 +\<amalg>                code: 0x002a3f  group: operator
   1.609 +\<mho>                  code: 0x002127  group: operator
   1.610  \<lozenge>              code: 0x0025ca
   1.611 -\<wp>                   code: 0x002118
   1.612 -\<wrong>                code: 0x002240
   1.613 +\<wp>                   code: 0x002118  group: letter
   1.614 +\<wrong>                code: 0x002240  group: relation
   1.615  \<struct>               code: 0x0022c4
   1.616  \<acute>                code: 0x0000b4
   1.617  \<index>                code: 0x000131
   1.618 @@ -350,13 +350,13 @@
   1.619  \<cedilla>              code: 0x0000b8
   1.620  \<hungarumlaut>         code: 0x0002dd
   1.621  \<some>                 code: 0x0003f5
   1.622 -\<^sub>                 code: 0x0021e9  abbrev: =_
   1.623 -\<^sup>                 code: 0x0021e7  abbrev: =^
   1.624 -\<^isub>                code: 0x0021e3  abbrev: -_
   1.625 -\<^isup>                code: 0x0021e1  abbrev: -^
   1.626 -\<^bsub>                code: 0x0021d8  abbrev: =_(
   1.627 -\<^esub>                code: 0x0021d9  abbrev: =_)
   1.628 -\<^bsup>                code: 0x0021d7  abbrev: =^(
   1.629 -\<^esup>                code: 0x0021d6  abbrev: =^)
   1.630 -\<^bold>                code: 0x002759  abbrev: -.
   1.631 +\<^sub>                 code: 0x0021e9  group: control  abbrev: =_
   1.632 +\<^sup>                 code: 0x0021e7  group: control  abbrev: =^
   1.633 +\<^isub>                code: 0x0021e3  group: control  abbrev: -_
   1.634 +\<^isup>                code: 0x0021e1  group: control  abbrev: -^
   1.635 +\<^bsub>                code: 0x0021d8  group: control  abbrev: =_(
   1.636 +\<^esub>                code: 0x0021d9  group: control  abbrev: =_)
   1.637 +\<^bsup>                code: 0x0021d7  group: control  abbrev: =^(
   1.638 +\<^esup>                code: 0x0021d6  group: control  abbrev: =^)
   1.639 +\<^bold>                code: 0x002759  group: control  abbrev: -.
   1.640