blob: 07e81008d2a0a719b28806d06aa488e2b36e956a (
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
92
93
94
95
96
97
98
99
100
101
102
103
|
<!--
File isotech.ent produced by the XSL script entities.xsl
from input data in unicode.xml.
Please report any errors to David Carlisle
via the public W3C list www-math@w3.org.
The numeric character values assigned to each entity
(should) match the Unicode assignments in Unicode 4.0.
Entity names in this file are derived from files carrying the
following notice:
(C) International Organization for Standardization 1986
Permission to copy in any form is granted for use with
conforming SGML systems and applications as defined in
ISO 8879, provided this notice is included in all copies.
-->
<!--
Version: $Id: isotech.ent,v 1.2 2003/12/08 15:14:43 davidc Exp $
Public identifier: ISO 8879:1986//ENTITIES General Technical//EN//XML
System identifier: http://www.w3.org/2003/entities/iso8879/isotech.ent
The public identifier should always be used verbatim.
The system identifier may be changed to suit local requirements.
Typical invocation:
<!ENTITY % isotech PUBLIC
"ISO 8879:1986//ENTITIES General Technical//EN//XML"
"http://www.w3.org/2003/entities/iso8879/isotech.ent"
>
%isotech;
-->
<!ENTITY aleph "ℵ" ><!--ALEF SYMBOL -->
<!ENTITY and "∧" ><!--LOGICAL AND -->
<!ENTITY ang90 "∟" ><!--RIGHT ANGLE -->
<!ENTITY angsph "∢" ><!--SPHERICAL ANGLE -->
<!ENTITY angst "Å" ><!--ANGSTROM SIGN -->
<!ENTITY ap "≈" ><!--ALMOST EQUAL TO -->
<!ENTITY becaus "∵" ><!--BECAUSE -->
<!ENTITY bernou "ℬ" ><!--SCRIPT CAPITAL B -->
<!ENTITY bottom "⊥" ><!--UP TACK -->
<!ENTITY cap "∩" ><!--INTERSECTION -->
<!ENTITY compfn "∘" ><!--RING OPERATOR -->
<!ENTITY cong "≅" ><!--APPROXIMATELY EQUAL TO -->
<!ENTITY conint "∮" ><!--CONTOUR INTEGRAL -->
<!ENTITY cup "∪" ><!--UNION -->
<!ENTITY Dot "¨" ><!--DIAERESIS -->
<!ENTITY DotDot " ⃜" ><!--COMBINING FOUR DOTS ABOVE -->
<!ENTITY equiv "≡" ><!--IDENTICAL TO -->
<!ENTITY exist "∃" ><!--THERE EXISTS -->
<!ENTITY fnof "ƒ" ><!--LATIN SMALL LETTER F WITH HOOK -->
<!ENTITY forall "∀" ><!--FOR ALL -->
<!ENTITY ge "≥" ><!--GREATER-THAN OR EQUAL TO -->
<!ENTITY hamilt "ℋ" ><!--SCRIPT CAPITAL H -->
<!ENTITY iff "⇔" ><!--LEFT RIGHT DOUBLE ARROW -->
<!ENTITY infin "∞" ><!--INFINITY -->
<!ENTITY int "∫" ><!--INTEGRAL -->
<!ENTITY isin "∈" ><!--ELEMENT OF -->
<!ENTITY lagran "ℒ" ><!--SCRIPT CAPITAL L -->
<!ENTITY lang "〈" ><!--LEFT-POINTING ANGLE BRACKET -->
<!ENTITY lArr "⇐" ><!--LEFTWARDS DOUBLE ARROW -->
<!ENTITY le "≤" ><!--LESS-THAN OR EQUAL TO -->
<!ENTITY lowast "∗" ><!--ASTERISK OPERATOR -->
<!ENTITY minus "−" ><!--MINUS SIGN -->
<!ENTITY mnplus "∓" ><!--MINUS-OR-PLUS SIGN -->
<!ENTITY nabla "∇" ><!--NABLA -->
<!ENTITY ne "≠" ><!--NOT EQUAL TO -->
<!ENTITY ni "∋" ><!--CONTAINS AS MEMBER -->
<!ENTITY notin "∉" ><!--NOT AN ELEMENT OF -->
<!ENTITY or "∨" ><!--LOGICAL OR -->
<!ENTITY order "ℴ" ><!--SCRIPT SMALL O -->
<!ENTITY par "∥" ><!--PARALLEL TO -->
<!ENTITY part "∂" ><!--PARTIAL DIFFERENTIAL -->
<!ENTITY permil "‰" ><!--PER MILLE SIGN -->
<!ENTITY perp "⊥" ><!--UP TACK -->
<!ENTITY phmmat "ℳ" ><!--SCRIPT CAPITAL M -->
<!ENTITY Prime "″" ><!--DOUBLE PRIME -->
<!ENTITY prime "′" ><!--PRIME -->
<!ENTITY prop "∝" ><!--PROPORTIONAL TO -->
<!ENTITY radic "√" ><!--SQUARE ROOT -->
<!ENTITY rang "〉" ><!--RIGHT-POINTING ANGLE BRACKET -->
<!ENTITY rArr "⇒" ><!--RIGHTWARDS DOUBLE ARROW -->
<!ENTITY sim "∼" ><!--TILDE OPERATOR -->
<!ENTITY sime "≃" ><!--ASYMPTOTICALLY EQUAL TO -->
<!ENTITY square "□" ><!--WHITE SQUARE -->
<!ENTITY sub "⊂" ><!--SUBSET OF -->
<!ENTITY sube "⊆" ><!--SUBSET OF OR EQUAL TO -->
<!ENTITY sup "⊃" ><!--SUPERSET OF -->
<!ENTITY supe "⊇" ><!--SUPERSET OF OR EQUAL TO -->
<!ENTITY tdot " ⃛" ><!--COMBINING THREE DOTS ABOVE -->
<!ENTITY there4 "∴" ><!--THEREFORE -->
<!ENTITY tprime "‴" ><!--TRIPLE PRIME -->
<!ENTITY Verbar "‖" ><!--DOUBLE VERTICAL LINE -->
<!ENTITY wedgeq "≙" ><!--ESTIMATES -->
|