"Fossies" - the Fresh Open Source Software Archive

Member "hevea-2.35/html/amssymb.hva" (16 Jan 2021, 21102 Bytes) of package /linux/www/hevea-2.35.tar.gz:

As a special service "Fossies" has tried to format the requested text file into HTML format (style: standard) with prefixed line numbers. Alternatively you can here view or download the uninterpreted source code file. 
    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