1 %%% Unicode to TeX mapping, file uni-34.def, U+2200..U+22FF, autogenerated by makeunidef.pl
2 \ifx\ProvidesFile\undefined\else
3 \ProvidesFile{uni-34.def}[2006/06/08 UCS: Unicode data U+2200..U+22FF]%
5 \uc@dclc{8704}{default}{\ensuremath{\forall}}%
6 \uc@dclc{8704}{postscript}{\Pisymbol{psy}{"22}}%
7 \uc@dclc{8705}{default}{\ensuremath\complement}%
8 \uc@dclc{8706}{default}{\ensuremath{\partial}}%
9 \uc@dclc{8706}{postscript}{\Pisymbol{psy}{"B6}}%
10 \uc@dclc{8707}{default}{\ensuremath{\exists}}%
11 \uc@dclc{8707}{postscript}{\Pisymbol{psy}{"24}}%
12 \uc@dclc{8708}{default}{\ensuremath\nexists}%
13 \uc@dclc{8709}{default}{\ensuremath{\emptyset}}%
14 \uc@dclc{8709}{postscript}{\Pisymbol{psy}{"C6}}%
15 \uc@dclc{8710}{default}{\ensuremath{\Delta}}%
16 \uc@dclc{8710}{postscript}{\Pisymbol{psy}{"44}}%
17 \uc@dclc{8711}{default}{\ensuremath{\nabla}}%
18 \uc@dclc{8711}{postscript}{\Pisymbol{psy}{"D1}}%
19 \uc@dclc{8712}{default}{\ensuremath{\in}}%
20 \uc@dclc{8712}{postscript}{\Pisymbol{psy}{"CE}}%
21 \uc@dclc{8713}{default}{\ensuremath{\notin}}%
22 \uc@dclc{8713}{postscript}{\Pisymbol{psy}{"CF}}%
23 \uc@dclc{8715}{default}{\ensuremath{\ni}}%
24 \uc@dclc{8715}{postscript}{\Pisymbol{psy}{"27}}%
25 \uc@dclc{8716}{default}{\ensuremath{\not\ni}}%
26 \uc@dclc{8719}{default}{\ensuremath{\prod}}%
27 \uc@dclc{8719}{postscript}{\Pisymbol{psy}{"D5}}%
28 \uc@dclc{8720}{default}{\ensuremath{\coprod}}%
29 \uc@dclc{8721}{default}{\ensuremath{\sum}}%
30 \uc@dclc{8721}{postscript}{\Pisymbol{psy}{"E5}}%
31 \uc@dclc{8722}{default}{\ensuremath{-}}%
32 \uc@dclc{8722}{postscript}{\Pisymbol{psy}{"2D}}%
33 \uc@dclc{8723}{default}{\ensuremath{\mp}}%
34 \uc@dclc{8724}{default}{\ensuremath\dotplus}%
35 \uc@dclc{8725}{default}{\ensuremath{/}}%
36 \uc@dclc{8726}{default}{\ensuremath{\setminus}}%
37 \uc@dclc{8727}{default}{\ensuremath{\ast}}%
38 \uc@dclc{8727}{postscript}{\Pisymbol{psy}{"2A}}%
39 \uc@dclc{8728}{default}{\ensuremath{\circ}}%
40 \uc@dclc{8729}{default}{\ensuremath{\bullet}}%
41 \uc@dclc{8730}{default}{\ensuremath{\surd}}%
42 \uc@dclc{8730}{postscript}{\Pisymbol{psy}{"D6}}%
43 \uc@dclc{8733}{default}{\ensuremath{\propto}}%
44 \uc@dclc{8733}{postscript}{\Pisymbol{psy}{"B5}}%
45 \uc@dclc{8734}{default}{\ensuremath{\infty}}%
46 \uc@dclc{8734}{postscript}{\Pisymbol{psy}{"A5}}%
47 \uc@dclc{8736}{default}{\ensuremath{\angle}}%
48 \uc@dclc{8736}{postscript}{\Pisymbol{psy}{"D0}}%
49 \uc@dclc{8737}{default}{\ensuremath\measuredangle}%
50 \uc@dclc{8738}{default}{\ensuremath\sphericalangle}%
51 \uc@dclc{8739}{default}{\ensuremath{\mid}}%
52 \uc@dclc{8740}{default}{\ensuremath\nmid}%
53 \uc@dclc{8741}{default}{\ensuremath{\parallel}}%
54 \uc@dclc{8742}{default}{\ensuremath\nparallel}%
55 \uc@dclc{8743}{default}{\ensuremath{\wedge}}%
56 \uc@dclc{8743}{postscript}{\Pisymbol{psy}{"D9}}%
57 \uc@dclc{8744}{default}{\ensuremath{\vee}}%
58 \uc@dclc{8744}{postscript}{\Pisymbol{psy}{"DA}}%
59 \uc@dclc{8745}{default}{\ensuremath{\cap}}%
60 \uc@dclc{8745}{postscript}{\Pisymbol{psy}{"C7}}%
61 \uc@dclc{8746}{default}{\ensuremath{\cup}}%
62 \uc@dclc{8746}{postscript}{\Pisymbol{psy}{"C8}}%
63 \uc@dclc{8747}{default}{\ensuremath{\int}}%
64 \uc@dclc{8747}{postscript}{\Pisymbol{psy}{"F2}}%
65 \uc@dclc{8748}{default}{\ensuremath\iint}%
66 \uc@dclc{8749}{default}{\ensuremath\iiint}%
67 \uc@dclc{8750}{default}{\ensuremath{\oint}}%
68 \uc@dclc{8751}{autogenerated}{\unichar{8750}\unichar{8750}}%
69 \uc@dclc{8752}{autogenerated}{\unichar{8750}\unichar{8750}\unichar{8750}}%
70 \uc@dclc{8756}{default}{\ensuremath\therefore}%
71 \uc@dclc{8756}{postscript}{\Pisymbol{psy}{"5C}}%
72 \uc@dclc{8757}{default}{\ensuremath\because}%
73 \uc@dclc{8758}{default}{\ensuremath{:}}%
74 \uc@dclc{8764}{default}{\ensuremath{\sim}}%
75 \uc@dclc{8764}{postscript}{\Pisymbol{psy}{"7E}}%
76 \uc@dclc{8765}{default}{\ensuremath\backsim}%
77 \uc@dclc{8768}{default}{\ensuremath{\wr}}%
78 \uc@dclc{8769}{default}{\ensuremath\nsim}%
79 \uc@dclc{8771}{default}{\ensuremath{\simeq}}%
80 \uc@dclc{8772}{default}{\ensuremath{\not\simeq}}%
81 \uc@dclc{8773}{default}{\ensuremath{\cong}}%
82 \uc@dclc{8773}{postscript}{\Pisymbol{psy}{"40}}%
83 \uc@dclc{8775}{default}{\ensuremath\ncong}%
84 \uc@dclc{8776}{default}{\ensuremath{\approx}}%
85 \uc@dclc{8776}{postscript}{\Pisymbol{psy}{"BB}}%
86 \uc@dclc{8777}{default}{\ensuremath{\not\approx}}%
87 \uc@dclc{8778}{default}{\ensuremath\approxeq}%
88 \uc@dclc{8781}{default}{\ensuremath{\asymp}}%
89 \uc@dclc{8782}{default}{\ensuremath\Bumpeq}%
90 \uc@dclc{8783}{default}{\ensuremath\bumpeq}%
91 \uc@dclc{8784}{default}{\ensuremath{\doteq}}%
92 \uc@dclc{8785}{default}{\ensuremath\doteqdot}%
93 \uc@dclc{8786}{default}{\ensuremath\fallingdotseq}%
94 \uc@dclc{8787}{default}{\ensuremath\risingdotseq}%
95 \uc@dclc{8788}{default}{\ensuremath{\coloneqq}}%
96 \uc@dclc{8790}{default}{\ensuremath\eqcirc}%
97 \uc@dclc{8791}{default}{\ensuremath\circeq}%
98 \uc@dclc{8796}{default}{\ensuremath\triangleq}%
99 \uc@dclc{8797}{default}{\ensuremath{\stackrel{\mbox{\tiny\em def}}{=}}}%
100 \uc@dclc{8800}{default}{\ensuremath{\neq}}%
101 \uc@dclc{8800}{postscript}{\Pisymbol{psy}{"B9}}%
102 \uc@dclc{8801}{default}{\ensuremath{\equiv}}%
103 \uc@dclc{8801}{postscript}{\Pisymbol{psy}{"BA}}%
104 \uc@dclc{8802}{default}{\ensuremath{\not\equiv}}%
105 \uc@dclc{8804}{default}{\ensuremath{\leq}}%
106 \uc@dclc{8804}{postscript}{\Pisymbol{psy}{"A3}}%
107 \uc@dclc{8805}{default}{\ensuremath{\geq}}%
108 \uc@dclc{8805}{postscript}{\Pisymbol{psy}{"B3}}%
109 \uc@dclc{8806}{default}{\ensuremath\leqq}%
110 \uc@dclc{8807}{default}{\ensuremath\geqq}%
111 \uc@dclc{8808}{default}{\ensuremath\lneqq}%
112 \uc@dclc{8809}{default}{\ensuremath\gneqq}%
113 \uc@dclc{8810}{default}{\ensuremath{\ll}}%
114 \uc@dclc{8811}{default}{\ensuremath{\gg}}%
115 \uc@dclc{8812}{default}{\ensuremath\between}%
116 \uc@dclc{8813}{default}{\ensuremath{\not\asymp}}%
117 \uc@dclc{8814}{default}{\ensuremath\nless}%
118 \uc@dclc{8815}{default}{\ensuremath\ngtr}%
119 \uc@dclc{8816}{default}{\ensuremath\nleq}%
120 \uc@dclc{8817}{default}{\ensuremath\ngeq}%
121 \uc@dclc{8818}{default}{\ensuremath\lesssim}%
122 \uc@dclc{8819}{default}{\ensuremath\gtrsim}%
123 \uc@dclc{8820}{default}{\ensuremath{\not\lesssim}}%
124 \uc@dclc{8821}{default}{\ensuremath{\not\gtrsim}}%
125 \uc@dclc{8822}{default}{\ensuremath\lessgtr}%
126 \uc@dclc{8823}{default}{\ensuremath\gtrless}%
127 \uc@dclc{8826}{default}{\ensuremath{\prec}}%
128 \uc@dclc{8827}{default}{\ensuremath{\succ}}%
129 \uc@dclc{8828}{default}{\ensuremath\preccurlyeq}%
130 \uc@dclc{8829}{default}{\ensuremath\succcurlyeq}%
131 \uc@dclc{8830}{default}{\ensuremath\precsim}%
132 \uc@dclc{8831}{default}{\ensuremath\succsim}%
133 \uc@dclc{8832}{default}{\ensuremath\nprec}%
134 \uc@dclc{8833}{default}{\ensuremath\nsucc}%
135 \uc@dclc{8834}{default}{\ensuremath{\subset}}%
136 \uc@dclc{8834}{postscript}{\Pisymbol{psy}{"CC}}%
137 \uc@dclc{8835}{default}{\ensuremath{\supset}}%
138 \uc@dclc{8835}{postscript}{\Pisymbol{psy}{"C9}}%
139 \uc@dclc{8836}{default}{\ensuremath{\not\subset}}%
140 \uc@dclc{8836}{postscript}{\Pisymbol{psy}{"CB}}%
141 \uc@dclc{8837}{default}{\ensuremath{\not\supset}}%
142 \uc@dclc{8838}{default}{\ensuremath{\subseteq}}%
143 \uc@dclc{8838}{postscript}{\Pisymbol{psy}{"CD}}%
144 \uc@dclc{8839}{default}{\ensuremath{\supseteq}}%
145 \uc@dclc{8839}{postscript}{\Pisymbol{psy}{"CA}}%
146 \uc@dclc{8840}{default}{\ensuremath\nsubseteq}%
147 \uc@dclc{8841}{default}{\ensuremath\nsupseteq}%
148 \uc@dclc{8842}{default}{\ensuremath\subsetneq}%
149 \uc@dclc{8843}{default}{\ensuremath\supsetneq}%
150 \uc@dclc{8846}{default}{\ensuremath{\uplus}}%
151 \uc@dclc{8847}{default}{\ensuremath\sqsubset}%
152 \uc@dclc{8848}{default}{\ensuremath\sqsupset}%
153 \uc@dclc{8849}{default}{\ensuremath{\sqsubseteq}}%
154 \uc@dclc{8850}{default}{\ensuremath{\sqsupseteq}}%
155 \uc@dclc{8851}{default}{\ensuremath{\sqcap}}%
156 \uc@dclc{8852}{default}{\ensuremath{\sqcup}}%
157 \uc@dclc{8853}{default}{\ensuremath{\oplus}}%
158 \uc@dclc{8853}{postscript}{\Pisymbol{psy}{"C5}}%
159 \uc@dclc{8854}{default}{\ensuremath{\ominus}}%
160 \uc@dclc{8855}{default}{\ensuremath{\otimes}}%
161 \uc@dclc{8855}{postscript}{\Pisymbol{psy}{"C4}}%
162 \uc@dclc{8856}{default}{\ensuremath{\oslash}}%
163 \uc@dclc{8857}{default}{\ensuremath{\odot}}%
164 \uc@dclc{8858}{default}{\ensuremath\circledcirc}%
165 \uc@dclc{8859}{default}{\ensuremath\circledast}%
166 \uc@dclc{8861}{default}{\ensuremath\circleddash}%
167 \uc@dclc{8862}{default}{\ensuremath\boxplus}%
168 \uc@dclc{8863}{default}{\ensuremath\boxminus}%
169 \uc@dclc{8864}{default}{\ensuremath\boxtimes}%
170 \uc@dclc{8865}{default}{\ensuremath\boxdot}%
171 \uc@dclc{8866}{default}{\ensuremath{\vdash}}%
172 \uc@dclc{8867}{default}{\ensuremath{\dashv}}%
173 \uc@dclc{8868}{default}{\ensuremath{\top}}%
174 \uc@dclc{8869}{default}{\ensuremath{\bot}}%
175 \uc@dclc{8869}{postscript}{\Pisymbol{psy}{"5E}}%
176 \uc@dclc{8873}{default}{\ensuremath\Vdash}%
177 \uc@dclc{8874}{default}{\ensuremath\Vvdash}%
178 \uc@dclc{8878}{default}{\ensuremath\nVdash}%
179 \uc@dclc{8882}{default}{\ensuremath\lhd}%
180 \uc@dclc{8883}{default}{\ensuremath\rhd}%
181 \uc@dclc{8884}{default}{\ensuremath\unlhd}%
182 \uc@dclc{8885}{default}{\ensuremath\unrhd}%
183 \uc@dclc{8888}{default}{\ensuremath\multimap}%
184 \uc@dclc{8890}{default}{\ensuremath\intercal}%
185 \uc@dclc{8891}{default}{\ensuremath\veebar}%
186 \uc@dclc{8892}{default}{\ensuremath\barwedge}%
187 \uc@dclc{8896}{default}{\ensuremath{\bigwedge}}%
188 \uc@dclc{8897}{default}{\ensuremath{\bigvee}}%
189 \uc@dclc{8898}{default}{\ensuremath{\bigcap}}%
190 \uc@dclc{8899}{default}{\ensuremath{\bigcup}}%
191 \uc@dclc{8900}{default}{\ensuremath{\diamond}}%
192 \uc@dclc{8901}{default}{\ensuremath{\cdot}}%
193 \uc@dclc{8901}{postscript}{\Pisymbol{psy}{"D7}}%
194 \uc@dclc{8902}{default}{\ensuremath{\star}}%
195 \uc@dclc{8903}{default}{\ensuremath\divideontimes}%
196 \uc@dclc{8904}{default}{\ensuremath{\bowtie}}%
197 \uc@dclc{8905}{default}{\ensuremath\ltimes}%
198 \uc@dclc{8906}{default}{\ensuremath\rtimes}%
199 \uc@dclc{8907}{default}{\ensuremath\leftthreetimes}%
200 \uc@dclc{8908}{default}{\ensuremath\rightthreetimes}%
201 \uc@dclc{8909}{default}{\ensuremath\backsimeq}%
202 \uc@dclc{8910}{default}{\ensuremath\curlyvee}%
203 \uc@dclc{8911}{default}{\ensuremath\curlywedge}%
204 \uc@dclc{8912}{default}{\ensuremath\Subset}%
205 \uc@dclc{8913}{default}{\ensuremath\Supset}%
206 \uc@dclc{8914}{default}{\ensuremath\Cap}%
207 \uc@dclc{8915}{default}{\ensuremath\Cup}%
208 \uc@dclc{8916}{default}{\ensuremath\pitchfork}%
209 \uc@dclc{8918}{default}{\ensuremath\lessdot}%
210 \uc@dclc{8919}{default}{\ensuremath\gtrdot}%
211 \uc@dclc{8920}{default}{\ensuremath\lll}%
212 \uc@dclc{8921}{default}{\ensuremath\ggg}%
213 \uc@dclc{8922}{default}{\ensuremath\lesseqgtr}%
214 \uc@dclc{8923}{default}{\ensuremath\gtreqless}%
215 \uc@dclc{8926}{default}{\ensuremath\curlyeqprec}%
216 \uc@dclc{8927}{default}{\ensuremath\curlyeqsucc}%
217 \uc@dclc{8928}{default}{\ensuremath{\not\preccurlyeq}}%
218 \uc@dclc{8929}{default}{\ensuremath{\not\succcurlyeq}}%
219 \uc@dclc{8930}{default}{\ensuremath{\not\sqsubseteq}}%
220 \uc@dclc{8931}{default}{\ensuremath{\not\sqsupseteq}}%
221 \uc@dclc{8934}{default}{\ensuremath\lnsim}%
222 \uc@dclc{8935}{default}{\ensuremath\gnsim}%
223 \uc@dclc{8936}{default}{\ensuremath\precnsim}%
224 \uc@dclc{8937}{default}{\ensuremath\succnsim}%
225 \uc@dclc{8938}{default}{\ensuremath\ntriangleleft}%
226 \uc@dclc{8939}{default}{\ensuremath\ntriangleright}%
227 \uc@dclc{8940}{default}{\ensuremath\ntrianglelefteq}%
228 \uc@dclc{8941}{default}{\ensuremath\ntrianglerighteq}%
229 \uc@dclc{8942}{default}{\ensuremath{\vdots}}%
230 \uc@dclc{8943}{default}{\ensuremath{\cdots}}%
231 \uc@dclc{8945}{default}{\ensuremath{\ddots}}%
projects / helm.git / blob