Project

Profile

Help

How to connect?
Download (9.7 KB) Statistics
| Branch: | Tag: | Revision:

he / tags / 9.7.0.3 / hej / data / w3c / mathml / mathml3 / isoamsb.ent @ cb770b3c

1

    
2
<!--
3
     File isoamsb.ent produced by the XSL script entities.xsl
4
     from input data in unicode.xml.
5

    
6
     Copyright 1998 - 2009 W3C.
7

    
8
     Use and distribution of this code are permitted under the terms of the
9
     W3C Software Notice and License.
10
     http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231.html
11

    
12
     Please report any errors to David Carlisle
13
     via the public W3C list www-math@w3.org.
14

    
15
     The numeric character values assigned to each entity
16
     (should) match the Unicode assignments in Unicode 5.x.
17

    
18
     References to the VARIANT SELECTOR 1 character (&#x0FE00;)
19
     should match the uses listed in Unicode Technical Report 25.
20

    
21
     Entity names in this file are derived from files carrying the
22
     following notice:
23

    
24
     (C) International Organization for Standardization 1991
25
     Permission to copy in any form is granted for use with
26
     conforming SGML systems and applications as defined in
27
     ISO 8879, provided this notice is included in all copies.
28

    
29
-->
30

    
31

    
32
<!-- 
33

    
34
       Public identifier: -//W3C//ENTITIES Added Math Symbols: Binary Operators//EN//XML
35
       System identifier: http://www.w3.org/2003/entities/2007/isoamsb.ent
36

    
37
     The public identifier should always be used verbatim.
38
     The system identifier may be changed to suit local requirements.
39

    
40
     Typical invocation:
41

    
42
       <!ENTITY % isoamsb PUBLIC
43
         "-//W3C//ENTITIES Added Math Symbols: Binary Operators//EN//XML"
44
         "http://www.w3.org/2003/entities/2007/isoamsb.ent"
45
       >
46
       %isoamsb;
47

    
48
-->
49

    
50
<!ENTITY ac               "&#x0223E;" ><!--INVERTED LAZY S -->
51
<!ENTITY acE              "&#x0223E;&#x00333;" ><!--INVERTED LAZY S with double underline -->
52
<!ENTITY amalg            "&#x02A3F;" ><!--AMALGAMATION OR COPRODUCT -->
53
<!ENTITY barvee           "&#x022BD;" ><!--NOR -->
54
<!ENTITY barwed           "&#x02305;" ><!--PROJECTIVE -->
55
<!ENTITY Barwed           "&#x02306;" ><!--PERSPECTIVE -->
56
<!ENTITY bsolb            "&#x029C5;" ><!--SQUARED FALLING DIAGONAL SLASH -->
57
<!ENTITY Cap              "&#x022D2;" ><!--DOUBLE INTERSECTION -->
58
<!ENTITY capand           "&#x02A44;" ><!--INTERSECTION WITH LOGICAL AND -->
59
<!ENTITY capbrcup         "&#x02A49;" ><!--INTERSECTION ABOVE BAR ABOVE UNION -->
60
<!ENTITY capcap           "&#x02A4B;" ><!--INTERSECTION BESIDE AND JOINED WITH INTERSECTION -->
61
<!ENTITY capcup           "&#x02A47;" ><!--INTERSECTION ABOVE UNION -->
62
<!ENTITY capdot           "&#x02A40;" ><!--INTERSECTION WITH DOT -->
63
<!ENTITY caps             "&#x02229;&#x0FE00;" ><!--INTERSECTION with serifs -->
64
<!ENTITY ccaps            "&#x02A4D;" ><!--CLOSED INTERSECTION WITH SERIFS -->
65
<!ENTITY ccups            "&#x02A4C;" ><!--CLOSED UNION WITH SERIFS -->
66
<!ENTITY ccupssm          "&#x02A50;" ><!--CLOSED UNION WITH SERIFS AND SMASH PRODUCT -->
67
<!ENTITY coprod           "&#x02210;" ><!--N-ARY COPRODUCT -->
68
<!ENTITY Cup              "&#x022D3;" ><!--DOUBLE UNION -->
69
<!ENTITY cupbrcap         "&#x02A48;" ><!--UNION ABOVE BAR ABOVE INTERSECTION -->
70
<!ENTITY cupcap           "&#x02A46;" ><!--UNION ABOVE INTERSECTION -->
71
<!ENTITY cupcup           "&#x02A4A;" ><!--UNION BESIDE AND JOINED WITH UNION -->
72
<!ENTITY cupdot           "&#x0228D;" ><!--MULTISET MULTIPLICATION -->
73
<!ENTITY cupor            "&#x02A45;" ><!--UNION WITH LOGICAL OR -->
74
<!ENTITY cups             "&#x0222A;&#x0FE00;" ><!--UNION with serifs -->
75
<!ENTITY cuvee            "&#x022CE;" ><!--CURLY LOGICAL OR -->
76
<!ENTITY cuwed            "&#x022CF;" ><!--CURLY LOGICAL AND -->
77
<!ENTITY dagger           "&#x02020;" ><!--DAGGER -->
78
<!ENTITY Dagger           "&#x02021;" ><!--DOUBLE DAGGER -->
79
<!ENTITY diam             "&#x022C4;" ><!--DIAMOND OPERATOR -->
80
<!ENTITY divonx           "&#x022C7;" ><!--DIVISION TIMES -->
81
<!ENTITY eplus            "&#x02A71;" ><!--EQUALS SIGN ABOVE PLUS SIGN -->
82
<!ENTITY hercon           "&#x022B9;" ><!--HERMITIAN CONJUGATE MATRIX -->
83
<!ENTITY intcal           "&#x022BA;" ><!--INTERCALATE -->
84
<!ENTITY iprod            "&#x02A3C;" ><!--INTERIOR PRODUCT -->
85
<!ENTITY loplus           "&#x02A2D;" ><!--PLUS SIGN IN LEFT HALF CIRCLE -->
86
<!ENTITY lotimes          "&#x02A34;" ><!--MULTIPLICATION SIGN IN LEFT HALF CIRCLE -->
87
<!ENTITY lthree           "&#x022CB;" ><!--LEFT SEMIDIRECT PRODUCT -->
88
<!ENTITY ltimes           "&#x022C9;" ><!--LEFT NORMAL FACTOR SEMIDIRECT PRODUCT -->
89
<!ENTITY midast           "&#x0002A;" ><!--ASTERISK -->
90
<!ENTITY minusb           "&#x0229F;" ><!--SQUARED MINUS -->
91
<!ENTITY minusd           "&#x02238;" ><!--DOT MINUS -->
92
<!ENTITY minusdu          "&#x02A2A;" ><!--MINUS SIGN WITH DOT BELOW -->
93
<!ENTITY ncap             "&#x02A43;" ><!--INTERSECTION WITH OVERBAR -->
94
<!ENTITY ncup             "&#x02A42;" ><!--UNION WITH OVERBAR -->
95
<!ENTITY oast             "&#x0229B;" ><!--CIRCLED ASTERISK OPERATOR -->
96
<!ENTITY ocir             "&#x0229A;" ><!--CIRCLED RING OPERATOR -->
97
<!ENTITY odash            "&#x0229D;" ><!--CIRCLED DASH -->
98
<!ENTITY odiv             "&#x02A38;" ><!--CIRCLED DIVISION SIGN -->
99
<!ENTITY odot             "&#x02299;" ><!--CIRCLED DOT OPERATOR -->
100
<!ENTITY odsold           "&#x029BC;" ><!--CIRCLED ANTICLOCKWISE-ROTATED DIVISION SIGN -->
101
<!ENTITY ofcir            "&#x029BF;" ><!--CIRCLED BULLET -->
102
<!ENTITY ogt              "&#x029C1;" ><!--CIRCLED GREATER-THAN -->
103
<!ENTITY ohbar            "&#x029B5;" ><!--CIRCLE WITH HORIZONTAL BAR -->
104
<!ENTITY olcir            "&#x029BE;" ><!--CIRCLED WHITE BULLET -->
105
<!ENTITY olt              "&#x029C0;" ><!--CIRCLED LESS-THAN -->
106
<!ENTITY omid             "&#x029B6;" ><!--CIRCLED VERTICAL BAR -->
107
<!ENTITY ominus           "&#x02296;" ><!--CIRCLED MINUS -->
108
<!ENTITY opar             "&#x029B7;" ><!--CIRCLED PARALLEL -->
109
<!ENTITY operp            "&#x029B9;" ><!--CIRCLED PERPENDICULAR -->
110
<!ENTITY oplus            "&#x02295;" ><!--CIRCLED PLUS -->
111
<!ENTITY osol             "&#x02298;" ><!--CIRCLED DIVISION SLASH -->
112
<!ENTITY otimes           "&#x02297;" ><!--CIRCLED TIMES -->
113
<!ENTITY Otimes           "&#x02A37;" ><!--MULTIPLICATION SIGN IN DOUBLE CIRCLE -->
114
<!ENTITY otimesas         "&#x02A36;" ><!--CIRCLED MULTIPLICATION SIGN WITH CIRCUMFLEX ACCENT -->
115
<!ENTITY ovbar            "&#x0233D;" ><!--APL FUNCTIONAL SYMBOL CIRCLE STILE -->
116
<!ENTITY plusacir         "&#x02A23;" ><!--PLUS SIGN WITH CIRCUMFLEX ACCENT ABOVE -->
117
<!ENTITY plusb            "&#x0229E;" ><!--SQUARED PLUS -->
118
<!ENTITY pluscir          "&#x02A22;" ><!--PLUS SIGN WITH SMALL CIRCLE ABOVE -->
119
<!ENTITY plusdo           "&#x02214;" ><!--DOT PLUS -->
120
<!ENTITY plusdu           "&#x02A25;" ><!--PLUS SIGN WITH DOT BELOW -->
121
<!ENTITY pluse            "&#x02A72;" ><!--PLUS SIGN ABOVE EQUALS SIGN -->
122
<!ENTITY plussim          "&#x02A26;" ><!--PLUS SIGN WITH TILDE BELOW -->
123
<!ENTITY plustwo          "&#x02A27;" ><!--PLUS SIGN WITH SUBSCRIPT TWO -->
124
<!ENTITY prod             "&#x0220F;" ><!--N-ARY PRODUCT -->
125
<!ENTITY race             "&#x0223D;&#x00331;" ><!--REVERSED TILDE with underline -->
126
<!ENTITY roplus           "&#x02A2E;" ><!--PLUS SIGN IN RIGHT HALF CIRCLE -->
127
<!ENTITY rotimes          "&#x02A35;" ><!--MULTIPLICATION SIGN IN RIGHT HALF CIRCLE -->
128
<!ENTITY rthree           "&#x022CC;" ><!--RIGHT SEMIDIRECT PRODUCT -->
129
<!ENTITY rtimes           "&#x022CA;" ><!--RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT -->
130
<!ENTITY sdot             "&#x022C5;" ><!--DOT OPERATOR -->
131
<!ENTITY sdotb            "&#x022A1;" ><!--SQUARED DOT OPERATOR -->
132
<!ENTITY setmn            "&#x02216;" ><!--SET MINUS -->
133
<!ENTITY simplus          "&#x02A24;" ><!--PLUS SIGN WITH TILDE ABOVE -->
134
<!ENTITY smashp           "&#x02A33;" ><!--SMASH PRODUCT -->
135
<!ENTITY solb             "&#x029C4;" ><!--SQUARED RISING DIAGONAL SLASH -->
136
<!ENTITY sqcap            "&#x02293;" ><!--SQUARE CAP -->
137
<!ENTITY sqcaps           "&#x02293;&#x0FE00;" ><!--SQUARE CAP with serifs -->
138
<!ENTITY sqcup            "&#x02294;" ><!--SQUARE CUP -->
139
<!ENTITY sqcups           "&#x02294;&#x0FE00;" ><!--SQUARE CUP with serifs -->
140
<!ENTITY ssetmn           "&#x02216;" ><!--SET MINUS -->
141
<!ENTITY sstarf           "&#x022C6;" ><!--STAR OPERATOR -->
142
<!ENTITY subdot           "&#x02ABD;" ><!--SUBSET WITH DOT -->
143
<!ENTITY sum              "&#x02211;" ><!--N-ARY SUMMATION -->
144
<!ENTITY supdot           "&#x02ABE;" ><!--SUPERSET WITH DOT -->
145
<!ENTITY timesb           "&#x022A0;" ><!--SQUARED TIMES -->
146
<!ENTITY timesbar         "&#x02A31;" ><!--MULTIPLICATION SIGN WITH UNDERBAR -->
147
<!ENTITY timesd           "&#x02A30;" ><!--MULTIPLICATION SIGN WITH DOT ABOVE -->
148
<!ENTITY tridot           "&#x025EC;" ><!--WHITE UP-POINTING TRIANGLE WITH DOT -->
149
<!ENTITY triminus         "&#x02A3A;" ><!--MINUS SIGN IN TRIANGLE -->
150
<!ENTITY triplus          "&#x02A39;" ><!--PLUS SIGN IN TRIANGLE -->
151
<!ENTITY trisb            "&#x029CD;" ><!--TRIANGLE WITH SERIFS AT BOTTOM -->
152
<!ENTITY tritime          "&#x02A3B;" ><!--MULTIPLICATION SIGN IN TRIANGLE -->
153
<!ENTITY uplus            "&#x0228E;" ><!--MULTISET UNION -->
154
<!ENTITY veebar           "&#x022BB;" ><!--XOR -->
155
<!ENTITY wedbar           "&#x02A5F;" ><!--LOGICAL AND WITH UNDERBAR -->
156
<!ENTITY wreath           "&#x02240;" ><!--WREATH PRODUCT -->
157
<!ENTITY xcap             "&#x022C2;" ><!--N-ARY INTERSECTION -->
158
<!ENTITY xcirc            "&#x025EF;" ><!--LARGE CIRCLE -->
159
<!ENTITY xcup             "&#x022C3;" ><!--N-ARY UNION -->
160
<!ENTITY xdtri            "&#x025BD;" ><!--WHITE DOWN-POINTING TRIANGLE -->
161
<!ENTITY xodot            "&#x02A00;" ><!--N-ARY CIRCLED DOT OPERATOR -->
162
<!ENTITY xoplus           "&#x02A01;" ><!--N-ARY CIRCLED PLUS OPERATOR -->
163
<!ENTITY xotime           "&#x02A02;" ><!--N-ARY CIRCLED TIMES OPERATOR -->
164
<!ENTITY xsqcup           "&#x02A06;" ><!--N-ARY SQUARE UNION OPERATOR -->
165
<!ENTITY xuplus           "&#x02A04;" ><!--N-ARY UNION OPERATOR WITH PLUS -->
166
<!ENTITY xutri            "&#x025B3;" ><!--WHITE UP-POINTING TRIANGLE -->
167
<!ENTITY xvee             "&#x022C1;" ><!--N-ARY LOGICAL OR -->
168
<!ENTITY xwedge           "&#x022C0;" ><!--N-ARY LOGICAL AND -->
(2-2/23)