blob: d9e80b6d1f8c083293a3212c6bccf3974d7b03ee (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
<!--
ISOAMSC Characters alphabetically
Added Math Symbols: Delimiters Extended by MathML with aliases
Converted from HTML table at
http://www.w3.org/TR/REC-MathML-19980407/chap6/ISOAMSCe1.html
Copyright 1998 Nag Ltd, The OpenMath Consortium. Esprit Project 24.969.
-->
<!ENTITY dlcorn "⌞"><!-- u+231E lower left corner ISOAMSC -->
<!ENTITY drcorn "⌟"><!-- u+231F lower right corner ISOAMSC -->
<!ENTITY gtlPar ""><!-- u+E296 double left parenthesis, greater ISOAMSC -->
<!ENTITY langd ""><!-- u+E297 left angle, dot ISOAMSC -->
<!ENTITY lbrke ""><!-- u+E299 left bracket, equal ISOAMSC -->
<!ENTITY lbrksld ""><!-- u+E29D left bracket, solidus bottom corner ISOAMSC -->
<!ENTITY lbrkslu ""><!-- u+E29B left bracket, solidus top corner ISOAMSC -->
<!ENTITY lceil "⌈"><!-- u+2308 left ceiling ISOAMSC -->
<!ENTITY LeftCeiling "⌈"><!-- u+2308 left ceiling MMALIAS lceil-->
<!ENTITY LeftFloor "⌊"><!-- u+230A left floor MMALIAS lfloor-->
<!ENTITY lfloor "⌊"><!-- u+230A left floor ISOAMSC -->
<!ENTITY llcorner "⌞"><!-- u+231E lower left corner MMALIAS dlcorn-->
<!ENTITY lmoust ""><!-- u+E294 left moustache ISOAMSC -->
<!ENTITY lmoustache ""><!-- u+E294 left moustache MMALIAS lmoust-->
<!ENTITY lparlt ""><!-- u+E292 left parenthesis, lt ISOAMSC -->
<!ENTITY lrcorner "⌟"><!-- u+231F lower right corner MMALIAS drcorn-->
<!ENTITY ltrPar ""><!-- u+E295 double right parenthesis, less ISOAMSC -->
<!ENTITY rangd ""><!-- u+E298 right angle, dot ISOAMSC -->
<!ENTITY rbrke ""><!-- u+E29A right bracket, equal ISOAMSC -->
<!ENTITY rbrksld ""><!-- u+E29C right bracket, solidus bottom corner ISOAMSC -->
<!ENTITY rbrkslu ""><!-- u+E29E right bracket, solidus top corner ISOAMSC -->
<!ENTITY rceil "⌉"><!-- u+2309 right ceiling ISOAMSC -->
<!ENTITY rfloor "⌋"><!-- u+230B right floor ISOAMSC -->
<!ENTITY RightCeiling "⌉"><!-- u+2309 right ceiling MMALIAS rceil-->
<!ENTITY RightFloor "⌋"><!-- u+230B right floor MMALIAS rfloor-->
<!ENTITY rmoust ""><!-- u+E293 right moustache ISOAMSC -->
<!ENTITY rmoustache ""><!-- u+E293 right moustache MMALIAS rmoust-->
<!ENTITY rpargt ""><!-- u+E291 right paren, gt ISOAMSC -->
<!ENTITY ulcorn "⌜"><!-- u+231C upper left corner ISOAMSC -->
<!ENTITY ulcorner "⌜"><!-- u+231C upper left corner MMALIAS ulcorn-->
<!ENTITY urcorn "⌝"><!-- u+231D upper right corner ISOAMSC -->
<!ENTITY urcorner "⌝"><!-- u+231D upper right corner MMALIAS urcorn-->
|