1 <!-- iso-tech.ent (initially distributed with DocBook XML DTD V4.1.1beta1) -->
3 <!-- Derived from the corresponding ISO 8879 standard entity set
4 and the Unicode character mappings provided by Sebastian Rahtz.
5 With additional derivations from
6 ftp://ftp.unicode.org/Public/MAPPINGS/VENDORS/MISC/SGML.TXT -->
8 <!ENTITY aleph "ℵ"> <!-- ALEF SYMBOL -->
9 <!ENTITY and "∧"> <!-- -->
10 <!ENTITY ang90 "∟"> <!-- RIGHT ANGLE -->
11 <!ENTITY angsph "∢"> <!-- -->
12 <!ENTITY ap "≈"> <!-- -->
13 <!ENTITY becaus "∵"> <!-- BECAUSE -->
14 <!ENTITY bottom "⊥"> <!-- -->
15 <!ENTITY cap "∩"> <!-- -->
16 <!ENTITY cong "≅"> <!-- -->
17 <!ENTITY conint "∮"> <!-- -->
18 <!ENTITY cup "∪"> <!-- -->
19 <!ENTITY equiv "≡"> <!-- -->
20 <!ENTITY exist "∃"> <!-- -->
21 <!ENTITY forall "∀"> <!-- -->
22 <!ENTITY fnof "ƒ"> <!-- LATIN SMALL LETTER F WITH HOOK -->
23 <!ENTITY ge "≥"> <!-- GREATER-THAN OR EQUAL TO -->
24 <!ENTITY iff "⇔"> <!-- LEFT RIGHT DOUBLE ARROW -->
25 <!ENTITY infin "∞"> <!-- -->
26 <!ENTITY int "∫"> <!-- -->
27 <!ENTITY isin "∊"> <!-- -->
28 <!ENTITY lang "〈"> <!-- -->
29 <!ENTITY lArr "⇐"> <!-- LEFTWARDS ARROW -->
30 <!ENTITY le "≤"> <!-- -->
31 <!ENTITY minus "−"> <!-- MINUS SIGN -->
32 <!ENTITY mnplus "∓"> <!-- -->
33 <!ENTITY nabla "∇"> <!-- NABLA -->
34 <!ENTITY ne "≠"> <!-- -->
35 <!ENTITY ni "∍"> <!-- -->
36 <!ENTITY or "∨"> <!-- -->
37 <!ENTITY par "∥"> <!-- PARALLEL TO -->
38 <!ENTITY part "∂"> <!-- -->
39 <!ENTITY permil "‰"> <!-- PER MILLE SIGN -->
40 <!ENTITY perp "⊥"> <!-- -->
41 <!ENTITY prime "′"> <!-- PRIME -->
42 <!ENTITY Prime "″"> <!-- DOUBLE PRIME -->
43 <!ENTITY prop "∝"> <!-- -->
44 <!ENTITY radic "√"> <!-- -->
45 <!ENTITY rang "〉"> <!-- -->
46 <!ENTITY rArr "⇒"> <!-- RIGHTWARDS ARROW -->
47 <!ENTITY sim "∼"> <!-- -->
48 <!ENTITY sime "≃"> <!-- -->
49 <!ENTITY square "□"> <!-- WHITE SQUARE -->
50 <!ENTITY sub "⊂"> <!-- -->
51 <!ENTITY sube "⊆"> <!-- -->
52 <!ENTITY sup "⊃"> <!-- -->
53 <!ENTITY supe "⊇"> <!-- -->
54 <!ENTITY there4 "∴"> <!-- -->
55 <!ENTITY Verbar "‖"> <!-- DOUBLE VERTICAL LINE -->
56 <!ENTITY angst "Å"> <!-- ANGSTROM SIGN -->
57 <!ENTITY bernou "ℬ"> <!-- SCRIPT CAPITAL B -->
58 <!ENTITY compfn "∘"> <!-- RING OPERATOR -->
59 <!ENTITY Dot "¨"> <!-- -->
60 <!ENTITY DotDot "⃜"> <!-- COMBINING FOUR DOTS ABOVE -->
61 <!ENTITY hamilt "ℋ"> <!-- SCRIPT CAPITAL H -->
62 <!ENTITY lagran "ℒ"> <!-- SCRIPT CAPITAL L -->
63 <!ENTITY lowast "∗"> <!-- ASTERISK OPERATOR -->
64 <!ENTITY notin "∉"> <!-- -->
65 <!ENTITY order "ℴ"> <!-- SCRIPT SMALL O -->
66 <!ENTITY phmmat "ℳ"> <!-- SCRIPT CAPITAL M -->
67 <!ENTITY tdot "⃛"> <!-- COMBINING THREE DOTS ABOVE -->
68 <!ENTITY tprime "‴"> <!-- TRIPLE PRIME -->
69 <!ENTITY wedgeq "≙"> <!-- ESTIMATES -->