1\usepackage{latexsym}
2\usepackage{amsfonts}
3%%%%%%%% From entity list
4\newcommand{\DeclareSymbolAMS}[3][]
5{\DeclareSymbolHtml{#2}{#3}%
6\def\@tmp{#1}%
7\ifx\@empty\@tmp\else\DeclareNot{#1}{#3}\fi}
8\DeclareSymbolAMS{\vartriangle}{X25B5}
9\DeclareSymbolAMS{\triangledown}{X25BF}
10\DeclareSymbolAMS{\blacksquare}{X25AA}
11\DeclareSymbolAMS{\blacktriangle}{X25B4}
12\DeclareSymbolAMS{\blacktriangledown}{X25BE}
13\DeclareSymbolAMS{\blacktriangleleft}{X25C2}
14\DeclareSymbolAMS{\blacktriangleright}{X25B8}
15\DeclareSymbolAMS{\lozenge}{X25CA}
16\DeclareSymbolAMS{\blacklozenge}{X2726}
17\DeclareSymbolAMS{\bigstar}{X2605}
18\DeclareSymbolAMS{\centerdot}{X00B7}
19\DeclareSymbolAMS{\circledR}{X00AE}
20\DeclareSymbolAMS{\sphericalangle}{X2222}
21\DeclareSymbolAMS{\because}{X2235}
22\DeclareSymbolAMS{\square}{X25AB}
23\DeclareSymbolAMS{\therefore}{X2234}
24\DeclareSymbolAMS{\digamma}{X03DC}
25\DeclareSymbolAMS{\varkappa}{X03F0}
26\DeclareSymbolAMS{\measuredangle}{X2221}
27\DeclareSymbolAMS{\beth}{X2136}
28\DeclareSymbolAMS[\@print{`}]{\backprime}{X2035}
29\DeclareSymbolAMS{\complement}{X2201}
30\DeclareSymbolAMS{\daleth}{X2138}
31\DeclareSymbolAMS{\gimel}{X2137}
32\DeclareSymbolAMS{\nexists}{X2204}
33\DeclareSymbolAMS{\circledS}{X24C8}
34\DeclareSymbolAMS{\smallsetminus}{XFE68}
35\DeclareSymbolAMS{\doublebarwedge}{X2306}
36\DeclareSymbolAMS{\barwedge}{X22BC}
37\DeclareSymbolAMS{\doublecap}{X22D2}
38\DeclareSymbolAMS{\Cap}{X22D2}
39\DeclareSymbolAMS{\doublecup}{X22D3}
40\DeclareSymbolAMS{\Cup}{X22D3}
41\DeclareSymbolAMS{\curlyvee}{X22CE}
42\DeclareSymbolAMS{\curlywedge}{X22CF}
43\DeclareSymbolAMS{\divideontimes}{X22C7}
44\DeclareSymbolAMS{\intercal}{X22BA}
45\DeclareSymbolAMS{\leftthreetimes}{X22CB}
46\DeclareSymbolAMS{\ltimes}{X22C9}
47\DeclareSymbolAMS{\boxminus}{X229F}
48\DeclareSymbolAMS{\circledast}{X229B}
49\DeclareSymbolAMS{\circledcirc}{X229A}
50\DeclareSymbolAMS{\circleddash}{X229D}
51\DeclareSymbolAMS{\boxplus}{X229E}
52\DeclareSymbolAMS{\dotplus}{X2214}
53\DeclareSymbolAMS{\rightthreetimes}{X22CC}
54\DeclareSymbolAMS{\rtimes}{X22CA}
55\DeclareSymbolAMS{\boxdot}{X22A1}
56\DeclareSymbolAMS{\boxtimes}{X22A0}
57\DeclareSymbolAMS{\approxeq}{X224A}
58\DeclareSymbolAMS{\backepsilon}{X220D}
59\DeclareSymbolAMS{\backsim}{X223D}
60\DeclareSymbolAMS{\backsimeq}{X22CD}
61\DeclareSymbolAMS{\Bumpeq}{X224E}
62\DeclareSymbolAMS{\bumpeq}{X224F}
63\DeclareSymbolAMS{\circeq}{X2257}
64\DeclareSymbolAMS{\curlyeqprec}{X22DE}
65\DeclareSymbolAMS{\curlyeqsucc}{X22DF}
66\DeclareSymbolAMS{\preccurlyeq}{X227C}
67\DeclareSymbolAMS{\eqcirc}{X2256}
68\DeclareSymbolAMS{\Doteq}{X2251}
69\DeclareSymbolAMS{\doteqdot}{X2251}
70\DeclareSymbolAMS{\fallingdotseq}{X2252}
71\DeclareSymbolAMS{\eqslantgtr}{X22DD}
72\DeclareSymbolAMS{\eqslantless}{X22DC}
73\DeclareSymbolAMS{\risingdotseq}{X2253}
74\DeclareSymbolAMS{\pitchfork}{X22D4}
75\DeclareSymbolAMS{\gtrapprox}{X2273}
76\DeclareSymbolAMS{\gtrdot}{X22D7}
77\DeclareSymbolAMS{\geqq}{X2267}
78\DeclareSymbolAMS{\gtreqless}{X22DB}
79\DeclareSymbolAMS{\gtreqqless}{X2A8C}
80\DeclareSymbolAMS{\gggtr}{X22D9}
81\DeclareSymbolAMS{\ggg}{X22D9}
82\DeclareSymbolAMS{\gtrless}{X2277}\DeclareNot{\gtrless}{X2279}
83\DeclareSymbolAMS{\gtrsim}{X2273}\DeclareNot{\gtrsim}{X2275}
84\DeclareSymbolAMS{\lessapprox}{X2272}\DeclareNot{\lessapprox}{X2274}
85\DeclareSymbolAMS{\lessdot}{X22D6}
86\DeclareSymbolAMS{\leqq}{X2266}
87\DeclareSymbolAMS{\lesseqqgtr}{X2A8B}
88\DeclareSymbolAMS{\lesseqgtr}{X22DA}
89\DeclareSymbolAMS{\lessgtr}{X2276}\DeclareNot{\lessgtr}{X2278}
90\DeclareSymbolAMS{\llless}{X22D8}
91\DeclareSymbolAMS{\lll}{X22D8}
92\DeclareSymbolAMS{\lesssim}{X2272}
93\DeclareSymbolAMS{\trianglelefteq}{X22B4}
94\DeclareSymbolAMS{\precapprox}{X227E}
95\DeclareSymbolAMS{\precsim}{X227E}
96\DeclareSymbolAMS{\trianglerighteq}{X22B5}
97\DeclareSymbolAMS{\succapprox}{X227F}
98\DeclareSymbolAMS{\succcurlyeq}{X227D}
99\DeclareSymbolAMS{\succsim}{X227F}
100%\DeclareSymbolAMS{\smallfrown}{XE426}
101%\DeclareSymbolAMS{\shortmid}{XE301}
102%\DeclareSymbolAMS{\shortparallel}{XE302}
103%\DeclareSymbolAMS{\smallsmile}{XE303}
104%\DeclareSymbolAMS{\thickapprox}{XE306}
105%\DeclareSymbolAMS{\thicksim}{XE429}
106\DeclareSymbolAMS{\triangleq}{X225C}
107\DeclareSymbolAMS{\between}{X226C}
108\DeclareSymbolAMS{\Vdash}{X22A9}
109\DeclareSymbolAMS{\vDash}{X22A8}
110\DeclareSymbolAMS{\veebar}{X22BB}
111\DeclareSymbolAMS{\vartriangleleft}{X22B2}\DeclareNot{\vartriangleleft}{X22EA}
112\DeclareSymbolAMS{\varpropto}{X221D}
113\DeclareSymbolAMS{\vartriangleright}{X22B3}\DeclareNot{\vartriangleleft}{X22EB}
114\DeclareSymbolAMS{\Vvdash}{X22AA}
115\DeclareSymbolAMS{\gneq}{X2A88}
116\DeclareSymbolAMS{\gneqq}{X2269}
117\DeclareSymbolAMS{\gnsim}{X22E7}
118\DeclareSymbolAMS{\lneqq}{X2268}
119\DeclareSymbolAMS{\lneq}{X2A87}
120\DeclareSymbolAMS{\lnsim}{X22E6}
121\DeclareSymbolAMS[\cong]{\ncong}{X2247}
122\DeclareSymbolAMS[\geq]{\ngeq}{X2271}
123\DeclareSymbolAMS{\ngtr}{X226F}
124\DeclareSymbolAMS[\leq]{\nleq}{X2270}
125\DeclareSymbolAMS[<]{\nless}{X226E}
126\DeclareSymbolAMS[\triangleleft]{\ntriangleleft}{X22EA}
127\DeclareSymbolAMS[\trianglelefteq]{\ntrianglelefteq}{X22EC}
128\DeclareSymbolAMS[\mid]{\nmid}{X2224}
129\DeclareSymbolAMS[\parallel]{\nparallel}{X2226}
130\DeclareSymbolAMS[\prec]{\nprec}{X2280}
131\DeclareSymbolAMS[\preceq]{\npreceq}{X22E0}
132\DeclareSymbolAMS[\triangleright]{\ntriangleright}{X22EB}
133\DeclareSymbolAMS[\trianglerighteq]{\ntrianglerighteq}{X22ED}
134\DeclareSymbolAMS[\succ]{\nsucc}{X2281}
135\DeclareSymbolAMS[\succeq]{\nsucceq}{X22E1}
136\DeclareSymbolAMS[\sim]{\nsim}{X2241}
137%\DeclareSymbolAMS{\nshortmid}{XE2AA}
138%\DeclareSymbolAMS{\nshortparallel}{XE2AB}
139\DeclareSymbolAMS[\vdash]{\nvdash}{X22AC}
140\DeclareSymbolAMS[\vDash]{\nvDash}{X22AD}
141\DeclareSymbolAMS[\VDash]{\nVDash}{X22AF}
142\DeclareSymbolAMS[\Vdash]{\nVdash}{X22AE}
143\DeclareSymbolAMS{\precnapprox}{X22E8}
144%\DeclareSymbolAMS{\precneqq}{XE2B3}
145\DeclareSymbolAMS{\precnsim}{X22E8}
146\DeclareSymbolAMS{\succnapprox}{X22E9}
147%\DeclareSymbolAMS{\succneqq}{XE2B5}
148\DeclareSymbolAMS{\succnsim}{X22E9}
149\DeclareSymbolAMS{\curvearrowleft}{X21B6}
150\DeclareSymbolAMS{\curvearrowright}{X21B7}
151\DeclareSymbolAMS{\downdownarrows}{X21CA}
152\DeclareSymbolAMS{\downharpoonleft}{X21C3}
153\DeclareSymbolAMS{\downharpoonright}{X21C2}
154\DeclareSymbolAMS{\Lleftarrow}{X21DA}
155\DeclareSymbolAMS{\twoheadleftarrow}{X219E}
156\DeclareSymbolAMS{\leftleftarrows}{X21C7}
157\DeclareSymbolAMS{\looparrowleft}{X21AB}
158\DeclareSymbolAMS{\leftarrowtail}{X21A2}
159\DeclareSymbolAMS{\leftrightarrows}{X21C6}
160\DeclareSymbolAMS{\rightleftarrows}{X21C4}
161\DeclareSymbolAMS{\leftrightsquigarrow}{X21AD}
162\DeclareSymbolAMS{\leftrightharpoons}{X21CB}
163\DeclareSymbolAMS{\Lsh}{X21B0}
164\DeclareSymbolAMS{\multimap}{X22B8}
165\DeclareSymbolAMS{\nLeftarrow}{X21CD}
166\DeclareSymbolAMS{\nleftarrow}{X219A}
167\DeclareSymbolAMS{\nLeftrightarrow}{X21CE}
168\DeclareSymbolAMS{\nleftrightarrow}{X21AE}
169\DeclareSymbolAMS{\nrightarrow}{X219B}
170\DeclareSymbolAMS{\nRightarrow}{X21CF}
171\DeclareSymbolAMS{\circlearrowleft}{X21BA}
172\DeclareSymbolAMS{\circlearrowright}{X21BB}
173\DeclareSymbolAMS{\Rrightarrow}{X21DB}
174\DeclareSymbolAMS{\twoheadrightarrow}{X21A0}
175\DeclareSymbolAMS{\rightrightarrows}{X21C9}
176\DeclareSymbolAMS{\looparrowright}{X21AC}
177\DeclareSymbolAMS{\rightarrowtail}{X21A3}
178\DeclareSymbolAMS{\rightsquigarrow}{X21DD}
179\DeclareSymbolAMS{\Rsh}{X21B1}
180\DeclareSymbolAMS{\upuparrows}{X21C8}
181\DeclareSymbolAMS{\upharpoonleft}{X21BF}
182\DeclareSymbolAMS{\upharpoonright}{X21BE}
183\DeclareSymbolAMS{\eth}{XF0}
184\DeclareSymbolAMS{\dashleftarrow}{X21E0}
185\DeclareSymbolAMS{\dasharrow}{X21E2}
186\DeclareSymbolAMS{\dashrightarrow}{X21E2}
187%%Those missing !
188\DeclareSymbolHtml{\Finv}{8498}
189\DeclareSymbolHtml{\Game}{3629}
190\DeclareSymbolHtml{\Bbbk}{409}
191\DeclareSymbolHtml{\hslash}{8463}
192\DeclareSymbolHtml{\varnothing}{X2205}
193\DeclareSymbolHtml{\diagup}{X5C}
194\DeclareSymbolHtml{\diagdown}{X2F}
195\DeclareSymbolHtml{\leqslant}{X2A7D}
196\DeclareSymbolHtml{\geqslant}{X2A7E}
197\DeclareSymbolHtml{\lnapprox}{X2A87}
198\DeclareSymbolHtml{\gnapprox}{X2A8A}
199%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
200%% Table 66: AMS Subset and Superset Relations %
201%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
202%%sub
203\DeclareSymbolAMS{\Subset}{X22D0}
204\DeclareSymbolAMS{\subseteqq}{X2AC5}
205\DeclareSymbolAMS[\subseteq]{\nsubseteq}{X2288}
206\DeclareSymbolAMS{\subsetneq}{X228A}
207\DeclareSymbolAMS{\subsetneqq}{X2ACB}
208%%sup
209\DeclareSymbolAMS{\Supset}{X22D1}
210\DeclareSymbolAMS{\supseteqq}{X2AC6}
211\DeclareSymbolAMS[\supseteq]{\nsupseteq}{X2289}
212\DeclareSymbolAMS{\supsetneq}{X228B}
213\DeclareSymbolAMS{\supsetneqq}{X2ACC}
214%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
215%% Table 4: Commands Defined to Work in Both Math and Text Mode %%
216%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
217\DeclareSymbolHtml{\checkmark}{X2713}
218\@Let\circledR\textregistered
219\DeclareSymbolHtml{\maltese}{X2720}
220\iffalse
221%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
222% Table 40: AMS Binary Operators %
223%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
224\DeclareSymbolHtml{\barwedge}{X22BC}
225\DeclareSymbolHtml{\boxdot}{8865}
226\DeclareSymbolHtml{\boxminus}{8863}
227\DeclareSymbolHtml{\boxtimes}{8864}
228\DeclareSymbolHtml{\boxplus}{8862}
229\DeclareSymbolHtml{\Cap}{8914}
230\@Let\centerdot\cdot
231\DeclareSymbolHtml{\circledast}{8859}
232\DeclareSymbolHtml{\circleddash}{8861}
233\DeclareSymbolHtml{\circledcirc}{8858}
234\DeclareSymbolHtml{\Cup}{8915}
235\DeclareSymbolHtml{\curlywedge}{8911}
236\DeclareSymbolHtml{\curlyvee}{8910}
237\DeclareSymbolHtml{\divideontimes}{8903}
238\DeclareSymbolHtml{\dotplus}{8724}
239\DeclareSymbolHtml{\doublebarwedge}{X2305}
240\DeclareSymbolHtml{\intercal}{X22BA}
241\DeclareSymbolHtml{\leftthreetimes}{8907}
242\DeclareSymbolHtml{\rightthreetimes}{8908}
243\DeclareSymbolHtml{\veebar}{8891}
244\DeclareSymbolHtml{\ltimes}{8905}
245\DeclareSymbolHtml{\rtimes}{8906}
246\DeclareSymbolHtml{\smallsetminus}{XFE68}
247%% AMSSYMB Binary Operators (Table 8.19 of Goos-Mitt-Sam)
248%
249%
250%% AMSSYMB Misc (Remains of Table 8.7 of Goos-Mitt-Sam)
251%
252%
253%% AMSSYMB Miscellaneous Symbols (Table 8.20 of Goos-Mitt-Sam)
254%
255\newcommand{\vartriangle}{\@print{&#9651;}}
256\newcommand{\triangledown}{\@print{&#9661;}}
257\newcommand{\lozenge}{\@print{&#9674;}}
258\newcommand{\circledS}{\@print{&#9416;}}
259\newcommand{\measuredangle}{\@print{&#8737;}}
260\newcommand{\nexists}{\@print{&#8708;}}
261\newcommand{\backprime}{\@print{&#96;}}
262\newcommand{\blacktriangle}{\@print{&#9650;}}
263\newcommand{\blacktriangledown}{\@print{&#9660;}}
264\newcommand{\blacksquare}{\@print{&#9632;}}
265\newcommand{\blacklozenge}{\@print{&#9670;}}
266\newcommand{\bigstar}{\@print{&#9733;}}
267\newcommand{\sphericalangle}{\@print{&#8738;}}
268\newcommand{\complement}{\@print{&#663;}}
269\newcommand{\eth}{\partial}
270%
271%% AMSSYMB Arrow Symbols (Table 8.15 of Goos-Mitt-Sam)
272%
273\newcommand{\dashleftarrow}{\@print{&#8672;}}
274\newcommand{\dashrightarrow}{\@print{&#8674;}}
275\newcommand{\leftrightharpoons}{\@print{&#8651;}}
276\renewcommand{\rightleftharpoons}{\@print{&#8652;}}
277\newcommand{\Lleftarrow}{\@print{&#8666;}}
278\newcommand{\Rrightarrow}{\@print{&#8667;}}
279\newcommand{\curvearrowleft}{\@print{&#8630;}}
280\newcommand{\curvearrowright}{\@print{&#8631;}}
281\newcommand{\leftleftarrows}{\@print{&#8647;}}
282\newcommand{\rightrightarrows}{\@print{&#8649;}}
283\newcommand{\upuparrows}{\@print{&#8648;}}
284\newcommand{\downdownarrows}{\@print{&#8650;}}
285\newcommand{\leftrightarrows}{\@print{&#8646;}}
286\newcommand{\rightleftarrows}{\@print{&#8646;}}
287\newcommand{\leftarrowtail}{\@print{&#8610;}}
288\newcommand{\rightarrowtail}{\@print{&#8611;}}
289\newcommand{\looparrowleft}{\@print{&#8619;}}
290\newcommand{\looparrowright}{\@print{&#8620;}}
291\newcommand{\twoheadleftarrow}{\@print{&#8606;}}
292\newcommand{\twoheadrightarrow}{\@print{&#8608;}}
293\newcommand{\upharpoonleft}{\@print{&#8639;}}
294\newcommand{\upharpoonright}{\@print{&#8638;}}
295\newcommand{\downharpoonleft}{\@print{&#8643;}}
296\newcommand{\downharpoonright}{\@print{&#8642;}}
297\newcommand{\Lsh}{\@print{&#8624;}}
298\newcommand{\Rsh}{\@print{&#8625;}}
299\newcommand{\leftrightsquigarrow}{\@print{&#8621;}}
300\newcommand{\rightsquigarrow}{\@print{&#8669;}}
301\newcommand{\circlearrowleft}{\@print{&#8630;}} 	% EVENTUALLY 10226
302\newcommand{\circlearrowright}{\@print{&#8631;}}        % EVENTUALLY 10227
303\newcommand{\multimap}{\@print{&#8888;}}
304%
305%% AMSSYMB Negated Arrows (Table 8.16 of Goos-Mitt-Sam)
306%
307\newcommand{\nleftarrow}{\@print{&#8602;}}
308\newcommand{\nrightarrow}{\@print{&#8603;}}
309\newcommand{\nLeftarrow}{\@print{&#8653;}}
310\newcommand{\nRightarrow}{\@print{&#8655;}}
311\newcommand{\nleftrightarrow}{\@print{&#8622;}}
312\newcommand{\nLeftrightarrow}{\@print{&#8654;}}
313%
314%% AMSSYMB Relational Symbols
315%
316\newcommand{\eqsim}{\@print{&#8770;}}
317\newcommand{\leqq}{\@print{&#8806;}}
318\newcommand{\leqslant}{\leq}			%
319\newcommand{\eqslantless}{\@print{&#8924;}}
320\newcommand{\lesssim}{\@print{&#8818;}}
321\newcommand{\lessapprox}{\lesssim}
322\newcommand{\approxeq}{\@print{&#8778;}}
323\newcommand{\lessdot}{\@print{&#8918;}}
324\newcommand{\lll}{\@print{&#8920;}}
325\newcommand{\lessgtr}{\@print{&#8822;}}
326\newcommand{\lesseqgtr}{\@print{&#8922;}}
327\newcommand{\lesseqqgtr}{\lesseqgtr}
328\newcommand{\doteqdot}{\@print{&#8785;}}
329\newcommand{\risingdotseq}{\@print{&#8787;}}
330\newcommand{\fallingdotseq}{\@print{&#8786;}}
331\newcommand{\backsim}{\@print{&#8765;}}
332\newcommand{\backsimeq}{\@print{&#8909;}}
333\newcommand{\subseteqq}{\subseteq}
334\newcommand{\Subset}{\@print{&#8912;}}
335\newcommand{\preccurlyeq}{\@print{&#8828;}}
336\newcommand{\curlyeqprec}{\@print{&#8926;}}
337\newcommand{\precsim}{\@print{&#8830;}}
338\newcommand{\precapprox}{\precsim}
339\newcommand{\vartriangleleft}{\@print{&#8882;}}
340\newcommand{\trianglelefteq}{\@print{&#8884;}}
341\newcommand{\vDash}{\@print{&#8872;}}
342\newcommand{\Vvdash}{\@print{&#8874;}}
343\newcommand{\smallsmile}{\@print{<SMALL>}\smile\@print{</SMALL>}}
344\newcommand{\smallfrown}{\@print{<SMALL>}\frown\@print{</SMALL>}}
345\newcommand{\bumpeq}{\@print{&#8783;}}
346\newcommand{\Bumpeq}{\@print{&#8782;}}
347\newcommand{\geqq}{\@print{&#8807;}}
348\newcommand{\geqslant}{\geq}
349\newcommand{\eqslantgtr}{\@print{&#8925;}}
350\newcommand{\gtrsim}{\@print{&#8819;}}
351\newcommand{\gtrapprox}{\gtrsim}
352\newcommand{\gtrdot}{\@print{&#8919;}}
353\newcommand{\ggg}{\@print{&#8921;}}
354\newcommand{\gtrless}{\@print{&#8823;}}
355\newcommand{\gtreqless}{\@print{&#8923;}}
356\newcommand{\gtreqqless}{\gtreqless}
357\newcommand{\eqcirc}{\@print{&#8790;}}
358\newcommand{\circeq}{\@print{&#8791;}}
359\newcommand{\triangleq}{\@print{&#8796;}}
360\newcommand{\thicksim}{\sim}
361\newcommand{\thickapprox}{\approx}
362\newcommand{\supseteqq}{\supseteq}
363\newcommand{\Supset}{\@print{&#8913;}}
364\newcommand{\succcurlyeq}{\@print{&#8829;}}
365\newcommand{\curlyeqsucc}{\@print{&#8927;}}
366\newcommand{\succsim}{\@print{&#8831;}}
367\newcommand{\succapprox}{\succsim}
368\newcommand{\vartriangleright}{\@print{&#8883;}}
369\newcommand{\trianglerighteq}{\@print{&#8885;}}
370\newcommand{\Vdash}{\@print{&#8873;}}
371\newcommand{\shortmid}{\mid}
372\newcommand{\shortparallel}{\parallel}
373\newcommand{\between}{\@print{&#8812;}}
374\newcommand{\pitchfork}{\@print{&#10971;}}
375\newcommand{\varpropto}{\propto}
376\newcommand{\blacktriangleleft}{\@print{&#9654;}}
377\newcommand{\therefore}{\@print{&#8756;}}
378\newcommand{\blacktriangleright}{\@print{&#9664;}}
379\newcommand{\backepsilon}{\@print{&#1101;}}	   % EVENTUALLY 1014
380\newcommand{\because}{\@print{&#8757;}}
381%
382%% These will be activated eventually (currently only in 'moreentities' mode)
383%
384%\newcommand{\leqslant}{\@print{&#10877;}}
385%\newcommand{\geqslant}{\@print{&#10878;}}
386%\newcommand{\lesseqqgtr}{\@print{&#10891;}}
387%\newcommand{\gtreqqless}{\@print{&#10892;}}
388%\newcommand{\lessapprox}{\@print{&#10885;}}
389%\newcommand{\gtrapprox}{\@print{&#10886;}}
390%\newcommand{\precapprox}{\@print{&#10935;}}
391%\newcommand{\succapprox}{\@print{&#10936;}}
392%\newcommand{\preccurlyeq}{\@print{&#8828;}}
393%\newcommand{\succcurlyeq}{\@print{&#8829;}}
394%\newcommand{\subseteqq}{\@print{&#10949;}}
395%\newcommand{\supseteqq}{\@print{&#10950;}}
396%
397\ifmoreentities
398\renewcommand{\leqslant}{\@print{&#10877;}}
399\renewcommand{\geqslant}{\@print{&#10878;}}
400\renewcommand{\lesseqqgtr}{\@print{&#10891;}}
401\renewcommand{\gtreqqless}{\@print{&#10892;}}
402\renewcommand{\lessapprox}{\@print{&#10885;}}
403\renewcommand{\gtrapprox}{\@print{&#10886;}}
404\renewcommand{\precapprox}{\@print{&#10935;}}
405\renewcommand{\succapprox}{\@print{&#10936;}}
406\renewcommand{\preccurlyeq}{\@print{&#8828;}}
407\renewcommand{\succcurlyeq}{\@print{&#8829;}}
408\renewcommand{\subseteqq}{\@print{&#10949;}}
409\renewcommand{\supseteqq}{\@print{&#10950;}}
410\fi
411%
412%% AMSSYMB Negated Relational Symbols
413%
414\newcommand{\nless}{\@print{&#8814;}}
415\newcommand{\nleq}{\@print{&#8816;}}
416\newcommand{\nleqslant}{\@print{&#8816;}}    	% not ideal (\nleq)
417\newcommand{\nleqq}{\nleq}        	     	% not ideal (\nleq)
418\newcommand{\lneq}{\@print{&#10887;}}
419\newcommand{\lneqq}{\@print{&#8808;}}
420\newcommand{\lvertneqq}{\@print{&#8808;}}    	% not ideal (lneqq)
421\newcommand{\lnsim}{\@print{&#8934;}}
422\newcommand{\lnapprox}{\@print{&#10889;}}
423\newcommand{\nprec}{\@print{&#8832;}}
424\newcommand{\npreceq}{\@print{&#8928;}}      	% almost
425\newcommand{\precnsim}{\@print{&#8936;}}
426\newcommand{\precnapprox}{\@print{&#10937;}}
427\newcommand{\nsim}{\@print{&#8769;}}
428\newcommand{\nshortmid}{\@print{&#8740;}}   	% not ideal (\nmid)
429\newcommand{\nmid}{\@print{&#8740;}}
430\newcommand{\nvdash}{\@print{&#8876;}}
431\newcommand{\nvDash}{\@print{&#8877;}}
432\newcommand{\ntriangleleft}{\@print{&#8938;}}
433\newcommand{\ntrianglelefteq}{\@print{&#8940;}}
434\newcommand{\nsubseteq}{\@print{&#8840;}}
435\newcommand{\nsubseteqq}{\nsubseteq}	       	% not ideal
436\newcommand{\subsetneq}{\@print{&#8842;}}
437\newcommand{\varsubsetneq}{\@print{&#8842;}}   	% not ideal (subsetneq)
438\newcommand{\subsetneqq}{\@print{&#10955;}}
439\newcommand{\varsubsetneqq}{\subsetneqq} 	% not ideal (subsetneqq)
440\newcommand{\ngtr}{\@print{&#8815;}}
441\newcommand{\ngeq}{\@print{&#8817;}}
442\newcommand{\ngeqslant}{\@print{&#8817;}}    	% not ideal (\ngeq)
443\newcommand{\ngeqq}{\ngeq}                   	% not ideal (\ngeq)
444\newcommand{\gneq}{\@print{&#10888;}}
445\newcommand{\gneqq}{\@print{&#8809;}}
446\newcommand{\gvertneqq}{\@print{&#8809;}}    	% not ideal (gneqq)
447\newcommand{\gnsim}{\@print{&#8935;}}
448\newcommand{\gnapprox}{\@print{&#10890;}}
449\newcommand{\nsucc}{\@print{&#8833;}}
450\newcommand{\nsucceq}{\@print{&#8929;}}      	% almost
451\newcommand{\succnsim}{\@print{&#8937;}}
452\newcommand{\succnapprox}{\@print{&#10938;}}
453\newcommand{\ncong}{\@print{&#8775;}}
454\newcommand{\nshortparallel}{\@print{&#8742;}}  % not ideal (\nparallel)
455\newcommand{\nparallel}{\@print{&#8742;}}
456\newcommand{\nVDash}{\@print{&#8879;}}
457\newcommand{\nVdash}{\@print{&#8878;}}
458\newcommand{\ntriangleright}{\@print{&#8939;}}
459\newcommand{\ntrianglerighteq}{\@print{&#8941;}}
460\newcommand{\nsupseteq}{\@print{&#8841;}}
461\newcommand{\nsupseteqq}{\nsupseteq}	       	% not ideal
462\newcommand{\supsetneq}{\@print{&#8843;}}
463\newcommand{\varsupsetneq}{\@print{&#8843;}}  	% not ideal (supsetneq)
464\newcommand{\supsetneqq}{\@print{&#10966;}}
465\newcommand{\varsupsetneqq}{\supsetneqq} 	% not ideal (supsetneqq)
466%
467%% These will be activated eventually (currently only in 'moreentities' mode)
468%
469%\newcommand{\lneq}{\@print{&#10887;}}
470%\newcommand{\gneq}{\@print{&#10888;}}
471%\newcommand{\precnapprox}{\@print{&#10937;}}
472%\newcommand{\succnapprox}{\@print{&#10938;}}
473%\newcommand{\lnapprox}{\@print{&#10889;}}
474%\newcommand{\gnapprox}{\@print{&#10890;}}
475%\newcommand{\subsetneqq}{\@print{&#10955;}}
476%\newcommand{\supsetneqq}{\@print{&#10966;}}
477%\newcommand{\varsubsetneqq}{\@print{&#10955;}} % not ideal (subsetneqq)
478%\newcommand{\varsupsetneqq}{\@print{&#10966;}} % not ideal (supsetneqq)
479%
480\ifmoreentities{
481\renewcommand{\lneq}{\@print{&#10887;}}
482\renewcommand{\gneq}{\@print{&#10888;}}
483\renewcommand{\precnapprox}{\@print{&#10937;}}
484\renewcommand{\succnapprox}{\@print{&#10938;}}
485\renewcommand{\lnapprox}{\@print{&#10889;}}
486\renewcommand{\gnapprox}{\@print{&#10890;}}
487\renewcommand{\subsetneqq}{\@print{&#10955;}}
488\renewcommand{\supsetneqq}{\@print{&#10966;}}
489\renewcommand{\varsubsetneqq}{\@print{&#10955;}} % not ideal (subsetneqq)
490\renewcommand{\varsupsetneqq}{\@print{&#10966;}} % not ideal (supsetneqq)
491}
492\else\fi
493%
494%% Miscellaneous Symbols under "amssymb"
495%
496%\newcommand{\Game}{\@print{&#;}}
497%\newcommand{\eth}{\@print{&#;}}
498%\newcommand{\Finv}{\@print{&#8498;}}
499%\newcommand{\mho}{\@print{&#8487;}}
500%\newcommand{\hslash}{\@print{&#8463;}}
501%\newcommand{\backepsilon}{\@print{&#;}}
502%\newcommand{\circledS}{\@print{&#;}}
503%\newcommand{\complement}{\@print{&#8405;}}
504%\newcommand{\measuredangle}{\@print{&#10664;}}
505%\newcommand{\sphericalangle}{\@print{&#;}}
506%\newcommand{\because}{\@print{&#8957;}}
507%\newcommand{\Bbbk}{\@print{&#120156;}}
508%\newcommand{\therefore}{\@print{&#8956;}}
509%\newcommand{\between}{\@print{&#8812;}}
510%\newcommand{\blacktriangleright}{\@print{&#9664;}}
511%\newcommand{\blacktriangleleft}{\@print{&#9654;}}
512%\newcommand{\pitchfork}{\@print{&#10971;}}
513%\newcommand{\smallsmile}{\@print{&#8995;}}
514%\newcommand{\smallfrown}{\@print{&#8994;}}
515%
516%% AMSSYMB Greek and Hebrew
517%
518\newcommand{\digamma}{\@print{<I>&#988;</I>}}
519\newcommand{\varkappa}{\@print{&#983;}}		% EVENTUALLY 1008
520\newcommand{\beth}{\@print{&#1489;}}
521\newcommand{\daleth}{\@print{&#1491;}}
522\newcommand{\gimel}{\@print{&#1490;}}
523%
524\ifmoreentities\renewcommand{\varkappa}{\@print{&#1008;}}
525\fi
526%
527%% AMSSYMB delimiters
528%
529\newcommand{\ulcorner}{\@print{&#8988;}}
530\newcommand{\urcorner}{\@print{&#8989;}}
531\newcommand{\llcorner}{\@print{&#8990;}}
532\newcommand{\lrcorner}{\@print{&#8991;}}
533\fi