blob: cfbe83b169942a2adec857af990e03fb638c60d8 (
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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
<!-- iso-amsr.ent (initially distributed with DocBook XML DTD V4.1.1beta1) -->
<!-- Derived from the corresponding ISO 8879 standard entity set
and the Unicode character mappings provided by Sebastian Rahtz.
With additional derivations from
ftp://ftp.tqunicode.org/Public/MAPPINGS/VENDORS/MISC/SGML.TXT -->
<!ENTITY ape "≊"> <!-- -->
<!ENTITY asymp "≍"> <!-- EQUIVALENT TO -->
<!ENTITY bcong "≌"> <!-- ALL EQUAL TO -->
<!ENTITY bepsi "∍"> <!-- SMALL CONTAINS AS MEMBER -->
<!ENTITY bowtie "⋈"> <!-- -->
<!ENTITY bsim "∽"> <!-- -->
<!ENTITY bsime "⋍"> <!-- -->
<!ENTITY bump "≎"> <!-- -->
<!ENTITY bumpe "≏"> <!-- -->
<!ENTITY cire "≗"> <!-- -->
<!ENTITY colone "≔"> <!-- -->
<!ENTITY cuepr "⋞"> <!-- -->
<!ENTITY cuesc "⋟"> <!-- -->
<!ENTITY cupre "≼"> <!-- -->
<!ENTITY dashv "⊣"> <!-- -->
<!ENTITY ecir "≖"> <!-- -->
<!ENTITY ecolon "≕"> <!-- -->
<!ENTITY eDot "≑"> <!-- -->
<!ENTITY esdot "≐"> <!-- -->
<!ENTITY efDot "≒"> <!-- -->
<!ENTITY egs "⋝"> <!-- -->
<!ENTITY els "⋜"> <!-- -->
<!ENTITY erDot "≓"> <!-- -->
<!ENTITY fork "⋔"> <!-- -->
<!ENTITY frown "⌢"> <!-- -->
<!ENTITY gap "≳"> <!-- GREATER-THAN OR EQUIVALENT TO -->
<!ENTITY gsdot "⋗"> <!-- -->
<!ENTITY gE "≧"> <!-- -->
<!ENTITY gel "⋛"> <!-- -->
<!ENTITY gEl "⋛"> <!-- -->
<!ENTITY ges "≥"> <!-- GREATER-THAN OR EQUAL TO -->
<!ENTITY Gg "⋙"> <!-- VERY MUCH GREATER-THAN -->
<!ENTITY gl "≷"> <!-- -->
<!ENTITY gsim "≳"> <!-- GREATER-THAN OR EQUIVALENT TO -->
<!ENTITY Gt "≫"> <!-- MUCH GREATER-THAN -->
<!ENTITY lap "≲"> <!-- LESS-THAN OR EQUIVALENT TO -->
<!ENTITY ldot "⋖"> <!-- -->
<!ENTITY lE "≦"> <!-- -->
<!ENTITY lEg "⋚"> <!-- -->
<!ENTITY leg "⋚"> <!-- -->
<!ENTITY les "≤"> <!-- LESS-THAN OR EQUAL TO -->
<!ENTITY lg "≶"> <!-- LESS-THAN OR GREATER-THAN -->
<!ENTITY Ll "⋘"> <!-- -->
<!ENTITY lsim "≲"> <!-- LESS-THAN OR EQUIVALENT TO -->
<!ENTITY Lt "≪"> <!-- MUCH LESS-THAN -->
<!ENTITY ltrie "⊴"> <!-- -->
<!ENTITY mid "∣"> <!-- -->
<!ENTITY models "⊧"> <!-- MODELS -->
<!ENTITY pr "≺"> <!-- -->
<!ENTITY prap "≾"> <!-- -->
<!ENTITY pre "≼"> <!-- -->
<!ENTITY prsim "≾"> <!-- -->
<!ENTITY rtrie "⊵"> <!-- -->
<!ENTITY samalg "∐"> <!-- -->
<!ENTITY sc "≻"> <!-- -->
<!ENTITY scap "≿"> <!-- -->
<!ENTITY sccue "≽"> <!-- -->
<!ENTITY sce "≽"> <!-- -->
<!ENTITY scsim "≿"> <!-- -->
<!ENTITY sfrown "⌢"> <!-- FROWN -->
<!ENTITY smid ""> <!-- -->
<!ENTITY smile "⌣"> <!-- -->
<!ENTITY spar "∥"> <!-- PARALLEL TO -->
<!ENTITY sqsub "⊏"> <!-- -->
<!ENTITY sqsube "⊑"> <!-- -->
<!ENTITY sqsup "⊐"> <!-- -->
<!ENTITY sqsupe "⊒"> <!-- -->
<!ENTITY ssmile "⌣"> <!-- SMILE -->
<!ENTITY Sub "⋐"> <!-- -->
<!ENTITY subE "⊆"> <!-- -->
<!ENTITY Sup "⋑"> <!-- -->
<!ENTITY supE "⊇"> <!-- -->
<!ENTITY thkap "≈"> <!-- ALMOST EQUAL TO -->
<!ENTITY thksim "∼"> <!-- TILDE OPERATOR -->
<!ENTITY trie "≜"> <!-- -->
<!ENTITY twixt "≬"> <!-- BETWEEN -->
<!ENTITY vdash "⊢"> <!-- -->
<!ENTITY Vdash "⊩"> <!-- -->
<!ENTITY vDash "⊨"> <!-- -->
<!ENTITY veebar "⊻"> <!-- -->
<!ENTITY vltri "⊲"> <!-- -->
<!ENTITY vprop "∝"> <!-- -->
<!ENTITY vrtri "⊳"> <!-- -->
<!ENTITY Vvdash "⊪"> <!-- -->
|