"Fossies" - the Fresh Open Source Software Archive

Member "hevea-2.35/iso-symb.hva" (16 Jan 2021, 28650 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. See also the latest Fossies "Diffs" side-by-side code changes report for "iso-symb.hva": 2.34_vs_2.35.

    1 %% Escapable special characters
    2 \def\%{\char37}
    3 \def\${\@print{$}}%$
    4 \def\#{\@print{#}}
    5 \def\&{\@print{&}}
    6 \def\_{\@print{_}}
    7 \def\{{\char123}
    8 \def\}{\char125}
    9 \def\nobreakspace{~}
   10 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   11 %Table 2: Predefined text-mode commands%
   12 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   13 \newcommand{\textasciicircum}{\@print{^}}
   14 \newcommand{\textasciitilde}{\@print{~}}
   15 \DeclareSymbolHtml[*]{\textasteriskcentered}{X2217}
   16 \newcommand{\textbackslash}{\char92}
   17 \newcommand{\textbar}{|}
   18 \let\textbraceleft\{
   19 \let\textbraceright\}
   20 \DeclareSymbol[*]{\textbullet}{X2022}
   21 \DeclareSymbol[(c)]{\textcopyright}{XA9}
   22 \DeclareSymbol[\@print{+}]{\textdagger}{8224}
   23 \DeclareSymbol[\@print{++}]{\textdaggerdbl}{8225}
   24 \let\textdollar\$
   25 \DeclareSymbol[...]{\textellipsis}{X2026}
   26 \DeclareSymbolHtml[\@print{--}]{\textemdash}{X2014}
   27 \DeclareSymbolHtml[\@print{-}]{\textendash}{X2013}
   28 \DeclareSymbol{\textexclamdown}{XA1}
   29 \newcommand{\textgreater}{\@print{>}}
   30 \newcommand{\textless}{\@print{<}}
   31 \DeclareSymbol[\textsup{a}]{\textordfeminine}{XAA}
   32 \DeclareSymbol[\textsup{o}]{\textordmasculine}{XBA}
   33 \DeclareSymbol{\textparagraph}{XB6}
   34 \DeclareSymbol{\textperiodcentered}{XB7}
   35 \DeclareSymbol{\textquestiondown}{XBF}
   36 \DeclareSymbolHtml[\@print{"}]{\textquotedblleft}{X201C}
   37 \DeclareSymbolHtml[\@print{"}]{\textquotedblright}{X201D}
   38 \DeclareSymbolHtml[\@print{'}]{\textquoteleft}{X2018}
   39 \DeclareSymbolHtml[\@print{'}]{\textquoteright}{X2019}
   40 \DeclareSymbol[(R)]{\textregistered}{XAE}
   41 \DeclareSymbol{\textsection}{XA7}
   42 \DeclareSymbol[pounds]{\textsterling}{XA3}
   43 \DeclareSymbolHtml[(TM)]{\texttrademark}{X2122}
   44 \newcommand{\textunderscore}{\@print{_}}
   45 \DeclareSymbolHtml[\@print{_}]{\textvisiblespace}{X2423}
   46 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   47 %Table 3: Commands defined both for math and text%
   48 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   49 \DeclareSymbol{\P}{XB6}
   50 \DeclareSymbol{\S}{XA7}
   51 \DeclareSymbol[(c)]{\copyright}{XA9}
   52 \DeclareSymbolHtml{\dag}{8224}
   53 \DeclareSymbolHtml{\ddag}{8225}
   54 \DeclareSymbolHtml[...]{\dots}{X2026}
   55 \DeclareSymbol[pounds]{\pounds}{XA3}
   56 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   57 %Table 5:  Non-ascii letters %
   58 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   59 %%Those belong to latin9
   60 \DeclareSymbol[oe]{\oe}{X153}
   61 \DeclareSymbol[OE]{\OE}{X152}
   62 %%And those to latin1
   63 \DeclareSymbol[ae]{\ae}{XE6}
   64 \DeclareSymbol[AE]{\AE}{XC6}
   65 \DeclareSymbol[aa]{\aa}{XE5}
   66 \DeclareSymbol[AA]{\AA}{XC5}
   67 \DeclareSymbol[o]{\o}{XF8}
   68 \DeclareSymbol[O]{\O}{XD8}
   69 \DeclareSymbol[ss]{\ss}{XDF}
   70 \newcommand{\SS}{SS}
   71 \DeclareSymbol[DH]{\DH}{XD0}
   72 \DeclareSymbol[dh]{\dh}{XF0}
   73 \DeclareSymbol[DJ]{\DJ}{X110}
   74 \DeclareSymbol[dj]{\dj}{X111}
   75 \DeclareSymbol[TH]{\TH}{XDE}
   76 \DeclareSymbol[th]{\th}{XFE}
   77 \DeclareSymbol[ENG]{\NG}{X14A}
   78 \DeclareSymbol[eng]{\ng}{X14B}
   79 \DeclareSymbol[L]{\L}{X141}
   80 \DeclareSymbol[l]{\l}{X142}
   81 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   82 % Punctuation Marks Not Found in OT1 %
   83 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   84 \DeclareSymbol[<<]{\guillemotleft}{XAB}
   85 \DeclareSymbol[>>]{\guillemotright}{XBB}
   86 \DeclareSymbolHtml[<]{\guilsinglleft}{X2039}
   87 \DeclareSymbolHtml[>]{\guilsinglright}{X203A}
   88 \DeclareSymbolHtml[,,]{\quotedblbase}{X201E}
   89 \DeclareSymbolHtml[,]{\quotesinglbase}{X201A}
   90 \newcommand{\textquotedbl}{\@print{"}}%"
   91 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   92 %Table 38: Maths-Mode Versions of Text Symbols %
   93 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   94 \let\mathdollar\$
   95 \DeclareSymbolHtml[...]{\mathellipsis}{X2026}
   96 \DeclareSymbol{\mathparagraph}{XB6}
   97 \DeclareSymbol{\mathsection}{XA7}
   98 \DeclareSymbol[pounds]{\mathsterling}{XA3}
   99 \let\mathunderscore\_
  100 %%%%%%%%%%%%%%%%%%%%%%%%%%%
  101 %Table 39 Binary Operators%
  102 %%%%%%%%%%%%%%%%%%%%%%%%%%%
  103 \DeclareSymbolHtml[\mbox{|\_|}]{\amalg}{X2A3F}
  104 \DeclareSymbolHtml[*]{\ast}{X2217}
  105 \DeclareSymbolHtml[O]{\bigcirc}{X25EF}
  106 \DeclareSymbolHtml{\bigtriangledown}{X25BD}
  107 \DeclareSymbolHtml{\bigtriangleup}{X25B3}
  108 \DeclareSymbolHtml[*]{\bullet}{X2022}
  109 \DeclareSymbolHtml{\@cap}{X2229}
  110 \DeclareSymbolHtml[\mbox{---\@br| |\@br| |}]{\@display@cap}{X22C2}
  111 \newcommand{\cap}{\ifdisplay\@display@cap\else\@cap\fi}
  112 \DeclareSymbol{\cdot}{XB7}
  113 \DeclareSymbolHtml{\circ}{X2218}
  114 \DeclareSymbolHtml{\@cup}{X222A}
  115 \DeclareSymbolHtml[\mbox{| |\@br| |\@br---}]{\@display@cup}{X22C3}
  116 \newcommand{\cup}{\ifdisplay\@display@cup\else\@cup\fi}
  117 \@Let{\dagger}{\dag}
  118 \@Let{\ddagger}{\ddag}
  119 \DeclareSymbolHtml{\diamond}{X22C4}
  120 \DeclareSymbol[/]{\div}{XF7}
  121 \DeclareSymbolHtml[-/+]{\mp}{X2213}
  122 \DeclareSymbolHtml[(\cdot)]{\odot}{X2299}
  123 \DeclareSymbolHtml[(-)]{\ominus}{X2296}
  124 \DeclareSymbolHtml[(+)]{\oplus}{X2295}
  125 \DeclareSymbolHtml[(\char92)]{\oslash}{X2298}
  126 \DeclareSymbolHtml[(\times)]{\otimes}{X2297}
  127 \DeclareSymbol[+/-]{\pm}{XB1}
  128 \DeclareSymbolHtml[\backslash]{\setminus}{X2216}
  129 \DeclareSymbolHtml{\sqcap}{X2293}
  130 \DeclareSymbolHtml[\mbox{|\_|}]{\sqcup}{X2294}
  131 \DeclareSymbolHtml[*]{\star}{X22C6}
  132 \DeclareSymbol[X]{\times}{XD7}
  133 \DeclareSymbolHtml[<|]{\triangleleft}{X25C1}
  134 \DeclareSymbolHtml[|>]{\triangleright}{X25B7}
  135 \DeclareSymbolHtml[\mbox{|\pm|}]{\uplus}{X228E}
  136 \DeclareSymbolHtml[\mbox{OR}]{\vee}{X2228}
  137 \DeclareSymbolHtml[\mbox{AND}]{\wedge}{X2227}
  138 \DeclareSymbolHtml{\wr}{X2240}
  139 %%Miscellaneous LaTeX2e Math Symbols
  140 \DeclareSymbolHtml[\mbox{aleph}]{\aleph}{X2135}
  141 \DeclareSymbolHtml{\angle}{X2220}
  142 \newcommand{\backslash}{\char92}
  143 \DeclareSymbolHtml{\clubsuit}{X2663}
  144 \DeclareSymbolHtml{\diamondsuit}{X2666}
  145 \DeclareSymbolHtml[\O]{\emptyset}{X2205}
  146 \DeclareSymbolHtml{\flat}{X266D}
  147 \DeclareSymbolHtml{\heartsuit}{X2665}
  148 \DeclareSymbolHtml[\mbox{oo}]{\infty}{X221E}
  149 \DeclareSymbolHtml[\mbox{nabla}]{\nabla}{X2207}
  150 \DeclareSymbolHtml{\natural}{X266E}
  151 \DeclareSymbol[\mbox{NOT}]{\neg}{XAC}
  152 \DeclareSymbol[\@print{'}]{\prime}{X2032}
  153 \DeclareSymbolHtml[\@print{#}]{\sharp}{X266F}
  154 \DeclareSymbolHtml{\spadesuit}{X2660}
  155 \DeclareSymbolHtml{\surd}{X221A}
  156 \DeclareSymbolHtml{\triangle}{X25B3}
  157 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  158 %Table 47 Variable-sized math operator %
  159 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  160 \MakeBigSymbol{\bigcap}{\@cap}{\@cap}{\@display@cap}
  161 \MakeBigSymbol{\bigcup}{\@cup}{\@cap}{\@display@cup}
  162 \MakeBigSymbol{\bigodot}{\odot}{\odot}{\odot}
  163 \newcommand{\@textdisplayuplus}{\mbox{|~~~|\@br|~+~|\@br-----}}
  164 \MakeBigSymbol{\biguplus}{\uplus}{\uplus}{\@textdisplayuplus}
  165 \MakeBigSymbol{\bigoplus}{\oplus}{\oplus}{\oplus}
  166 \MakeBigSymbol{\bigotimes}{\otimes}{\otimes}{\otimes}
  167 %\MakeBigSymbol{\bigsqcap}{\@sqcap}{\@sqcap}{\@display@sqcap}
  168 \newcommand{\@textdisplaysqcup}{|~~|\@br|~~\@br----}
  169 \MakeBigSymbol{\bigsqcup}{\sqcup}{\sqcup}{\@textdisplaysqcup}
  170 \newcommand{\@textdisplayvee}{\mbox{\char92{}~~/\@br~\char92/~}}
  171 \MakeBigSymbol{\bigvee}{\vee}{\vee}{\@textdisplayvee}
  172 \newcommand{\@textdisplaywedge}{\mbox{~/\char92~\@br/~~\char92}}
  173 \MakeBigSymbol{\bigwedge}{\wedge}{\wedge}{\@textdisplaywedge}
  174 \DeclareSymbolHtml[coprod]{\@coprod}{X2210}
  175 \newcommand{\@textdisplaycoprod}{\mbox{---\@br| |\@br| |}}
  176 \MakeBigSymbol{\coprod}{\@coprod}{\@coprod}{\@textdisplaycoprod}
  177 \DeclareSymbolHtml[prod]{\@prod}{X220F}
  178 \newcommand{\@textdisplayprod}{\mbox{| |\@br| |\@br---}}
  179 \MakeBigSymbol{\prod}{\@prod}{\@prod}{\@textdisplayprod}
  180 \DeclareSymbolHtml[sum]{\@sum}{X2211}
  181 \newcommand{\@textdisplaysum}{\mbox{--\@br\char92\@br/\@br--}}
  182 \MakeBigSymbol{\sum}{\@sum}{\@sum}{\@textdisplaysum}
  183 \DeclareSymbolHtml[\mbox{integral}]{\@int}{X222B}
  184 \newcommand{\@textdisplayint}{\mbox{/\@br|\@br|\@br/}}
  185 \MakeBigSymbol[\intlimits]{\int}{\@int}{\@int}{\@textdisplayint}
  186 \DeclareSymbolHtml[\mbox{oint}]{\@oint}{X222E}
  187 \newcommand{\@textdisplayoint}{\mbox{/\@br|\@br{}o\@br|\@br/}}
  188 \MakeBigSymbol[\intlimits]{\oint}{\@oint}{\@oint}{\@textdisplayoint}
  189 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  190 %Table 54: Binary relations %
  191 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  192 \DeclareSymbolHtml[\mbox{approx}]{\approx}{X2248}
  193 \DeclareSymbolHtml[\mbox{asymp}]{\asymp}{X224D}
  194 \DeclareSymbolHtml[\mbox{bowtie}]{\bowtie}{X22C8}
  195 \DeclareSymbolHtml[\mbox{cong}]{\cong}{X2245}
  196 \DeclareSymbolHtml[\@print{|-}]{\vdash}{X22A2}
  197 \DeclareSymbolHtml[\@print{-|}]{\dashv}{X22A3}
  198 \DeclareSymbolHtml[\stackrel{\cdot}{=}]{\doteq}{X2250}
  199 \DeclareSymbolHtml[\mbox{equiv}]{\equiv}{X2261}
  200 \DeclareSymbolHtml[\mbox{frown}]{\frown}{X2040}
  201 \DeclareSymbolHtml[\mbox{|}]{\mid}{X2223}
  202 \DeclareSymbolHtml[\mbox{|=}]{\models}{X22A8}
  203 \DeclareSymbolHtml[\mbox{||}]{\parallel}{X2225}
  204 \DeclareSymbolHtml[\mbox{\@print{_|_}}]{\perp}{X22A5}
  205 \DeclareSymbolHtml[\mbox{prec}]{\prec}{X227A}
  206 \DeclareSymbolHtml[\mbox{preceq}]{\preceq}{X227C}
  207 \DeclareSymbolHtml[\mbox{oc}]{\propto}{X221D}
  208 \DeclareSymbolHtml[\@print{~}]{\sim}{X223C}
  209 \DeclareSymbolHtml[\textunderline{\sim}]{\simeq}{X2243}
  210 \DeclareSymbolHtml[\mbox{smile}]{\smile}{X203F}
  211 \DeclareSymbolHtml[\mbox{succ}]{\succ}{X227B}
  212 \DeclareSymbolHtml[\mbox{succeq}]{\succeq}{X227D}
  213 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  214 %Table 65: Subset and Superset Relations %
  215 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  216 \newcommand{\@textdisplaysubset}{\mbox{-\@br|\@br-}}
  217 \newcommand{\@textdisplaysupset}{\mbox{-\@br~|\@br-}}
  218 \newcommand{\@textdisplaysubseteq}{\mbox{-\@br|\@br=}}
  219 \newcommand{\@textdisplaysupseteq}{\mbox{-\@br~|\@br=}}
  220 \DeclareSymbolHtml[\IfDisplay{\@textdisplysubset}{\mbox{subset}}]
  221 {\subset}{X2282}
  222 \DeclareSymbolHtml[\IfDisplay{\@textdisplaysubseteq}{\mbox{subseteq}}]
  223 {\subseteq}{X2286}
  224 \DeclareSymbolHtml[\IfDisplay{\@textdisplaysupset}{\mbox{supset}}]
  225 {\supset}{X2283}
  226 \DeclareSymbolHtml[\IfDisplay{\@textdisplaysupseteq}{\mbox{supseteq}}]
  227 {\supseteq}{X2287}
  228 \DeclareSymbolHtml[\IfDisplay{\@textdisplaysubseteq}{\mbox{sqsubseteq}}]
  229 {\sqsubseteq}{X2291}
  230 \DeclareSymbolHtml[\IfDisplay{\@textdisplaysupseteq}{\mbox{sqsupseteq}}]
  231 {\sqsupseteq}{X2292}
  232 %%%%%%%%%%%%%%%%%%%%%%%%%%
  233 % Table 71: Inequalities %
  234 %%%%%%%%%%%%%%%%%%%%%%%%%%
  235 \DeclareSymbolHtml[<=]{\leq}{X2264}
  236 \DeclareSymbolHtml[<<]{\ll}{X226A}
  237 \DeclareSymbolHtml[>=]{\geq}{X2265}
  238 \DeclareSymbolHtml[>>]{\gg}{X226B}
  239 \DeclareSymbolHtml[\mbox{neq}]{\neq}{X2260}
  240 %%%%%%%%%%%%%%%%%%%%
  241 % Table 79: Arrows %
  242 %%%%%%%%%%%%%%%%%%%%
  243 \DeclareSymbolHtml{\Downarrow}{X21D3}
  244 \DeclareSymbolHtml{\downarrow}{X2193}
  245 \DeclareSymbolHtml{\hookleftarrow}{X21A9}
  246 \DeclareSymbolHtml{\hookrightarrow}{X21AA}
  247 \DeclareSymbolHtml[\mbox{<-}]{\leftarrow}{X2190}
  248 \DeclareSymbolHtml[\mbox{<=}]{\Leftarrow}{X21D0}
  249 \DeclareSymbolHtml[\mbox{<=>}]{\Leftrightarrow}{X21D4}
  250 \DeclareSymbolHtml[\mbox{<->}]{\leftrightarrow}{X2194}
  251 \DeclareSymbolHtml[\mbox{|->>}]{\mapsto}{X21A6}
  252 \DeclareSymbolHtml[\mbox{-}]{\relbar}{X23AF}
  253 %EM DASH (better than arrow extension X23AF)
  254 \DeclareSymbolHtml[\@print{-}]{\@arrowextension}{X2014}
  255 %nothing satisfactory
  256 \newcommand{\Relbar}{=}
  257 \newcommand{\@Arrowextension}{=}
  258 \newcommand{\longleftarrow}{\leftarrow\@arrowextension}
  259 \newcommand{\Longleftarrow}{\Leftarrow\@Arrowextension}
  260 \newcommand{\longleftrightarrow}{\leftarrow\rightarrow}
  261 \newcommand{\Longleftrightarrow}{\Leftarrow\Rightarrow}
  262 \newcommand{\longmapsto}{\vdash\rightarrow}
  263 \newcommand{\Longrightarrow}{\@Arrowextension\Rightarrow}
  264 \newcommand{\longrightarrow}{\@arrowextension\rightarrow}
  265 \DeclareSymbolHtml{\nearrow}{X2197}
  266 \DeclareSymbolHtml{\nwarrow}{X2196}
  267 \DeclareSymbolHtml[\mbox{=>}]{\Rightarrow}{X21D2}
  268 \DeclareSymbolHtml[\mbox{->}]{\rightarrow}{X2192}
  269 \DeclareSymbolHtml{\searrow}{X2198}
  270 \DeclareSymbolHtml{\swarrow}{X2199}
  271 \DeclareSymbolHtml{\uparrow}{X2191}
  272 \DeclareSymbolHtml{\Uparrow}{X21D1}
  273 \DeclareSymbolHtml{\updownarrow}{X2195}
  274 \DeclareSymbolHtml{\@textUpdownarrow}{X21D5}
  275 \iffalse
  276 \NewcommandHtml{\@displayUpdownarrow}
  277 {\@open{TABLE}{style="border-spacing:0" class="cellpadding0"}\@open{TR}{}\@open{TD}{}%
  278 \Uparrow\@force{TD}\@force{TR}\@open{TR}{}\@open{TD}{}%
  279 \Downarrow\@force{TD}\@force{TR}\@force{TABLE}}
  280 \fi
  281 \NewcommandHtml{\@displayUpdownarrow}
  282 {\@itemdisplay\Uparrow\@br\Downarrow\@itemdisplay\int@sup@sub{2}}
  283 \NewcommandHtml{\Updownarrow}{\DisplayChoose{\@displayUpdownarrow}{\@textUpdownarrow}}
  284 %%%%%%%%%%%%%%%%%%%%%
  285 %Table 80: Harpoons %
  286 %%%%%%%%%%%%%%%%%%%%%
  287 \DeclareSymbolHtml{\leftharpoondown}{X21BD}
  288 \DeclareSymbolHtml{\leftharpoonup}{X21BC}
  289 \DeclareSymbolHtml{\rightharpoondown}{X21C1}
  290 \DeclareSymbolHtml{\rightharpoonup}{X21C0}
  291 \DeclareSymbolHtml{\rightleftharpoons}{X21CC}
  292 %%%%%%%%%%%%%%%%%%%%%%%%%%%
  293 % Table 98: Greek Letters %
  294 %%%%%%%%%%%%%%%%%%%%%%%%%%%
  295 \DeclareSymbolHtml[alpha]{\alpha}{X03B1}
  296 \DeclareSymbolHtml[beta]{\beta}{X03B2}
  297 \DeclareSymbolHtml[gamma]{\gamma}{X03B3}
  298 \DeclareSymbolHtml[delta]{\delta}{X03B4}
  299 \DeclareSymbolHtml[epsilon]{\epsilon}{X454}
  300 \DeclareSymbolHtml[varepsilon]{\varepsilon}{X03B5}
  301 \DeclareSymbolHtml[zeta]{\zeta}{X03B6}
  302 \DeclareSymbolHtml[eta]{\eta}{X03B7}
  303 \DeclareSymbolHtml[theta]{\theta}{X03B8}
  304 \DeclareSymbolHtml[vartheta]{\vartheta}{X3D1}
  305 \DeclareSymbolHtml[iota]{\iota}{X3B9}
  306 \DeclareSymbolHtml[kappa]{\kappa}{X3BA}
  307 \DeclareSymbolHtml[lambda]{\lambda}{X3BB}
  308 \DeclareSymbol[mu]{\mu}{XB5}
  309 \DeclareSymbolHtml[nu]{\nu}{X3BD}
  310 \DeclareSymbolHtml[xi]{\xi}{X3BE}
  311 \DeclareSymbolHtml[pi]{\pi}{X3C0}
  312 \DeclareSymbolHtml[varpi]{\varpi}{X3D6}
  313 \DeclareSymbolHtml[rho]{\rho}{X3C1}
  314 \DeclareSymbolHtml[varrho]{\varrho}{X3F1}
  315 \DeclareSymbolHtml[sigma]{\sigma}{X3C3}
  316 \DeclareSymbolHtml[varsigma]{\varsigma}{X3C2}
  317 \DeclareSymbolHtml[tau]{\tau}{X3C4}
  318 \DeclareSymbolHtml[upsilon]{\upsilon}{X3C5}
  319 \DeclareSymbolHtml[phi]{\phi}{X3C6}
  320 \DeclareSymbolHtml[varphi]{\varphi}{X3D5}
  321 \DeclareSymbolHtml[chi]{\chi}{X3C7}
  322 \DeclareSymbolHtml[psi]{\psi}{X3C8}
  323 \DeclareSymbolHtml[omega]{\omega}{X3C9}
  324 % Capital Greek Letters
  325 \DeclareSymbolHtml[Gamma]{\Gamma}{X393}
  326 \DeclareSymbolHtml[Delta]{\Delta}{X394}
  327 \DeclareSymbolHtml[Theta]{\Theta}{X398}
  328 \DeclareSymbolHtml[Lambda]{\Lambda}{X39B}
  329 \DeclareSymbolHtml[Xi]{\Xi}{X39E}
  330 \DeclareSymbolHtml[Pi]{\Pi}{X3A0}
  331 \DeclareSymbolHtml[Sigma]{\Sigma}{X3A3}
  332 \DeclareSymbolHtml[Upsilon]{\Upsilon}{X3A5}
  333 \DeclareSymbolHtml[Phi]{\Phi}{X3A6}
  334 \DeclareSymbolHtml[Psi]{\Psi}{X3A8}
  335 \DeclareSymbolHtml[Omega]{\Omega}{X3A9}
  336 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  337 % Table 104: Letter-like symbols %
  338 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  339 \DeclareSymbolHtml[\mbox{\@print{_|_}}]{\bot}{X22A5}
  340 \DeclareSymbolHtml[\mbox{ell}]{\ell}{X2113}
  341 \DeclareSymbolHtml[\mbox{exists}]{\exists}{X2203}
  342 \DeclareSymbolHtml[\mbox{forall}]{\forall}{X2200}
  343 \DeclareSymbolHtml[\mbox{h}]{\hbar}{X210F}
  344 \DeclareSymbolHtml[\mbox{Im}]{\Im}{X2111}
  345 \DeclareSymbolHtml[\mbox{in}]{\in}{X2208}
  346 \DeclareSymbolHtml[\mbox{contains}]{\ni}{X220B}
  347 \DeclareSymbolHtml{\partial}{X2202}
  348 \DeclareSymbolHtml[\mbox{Re}]{\Re}{X211C}
  349 \DeclareSymbolHtml{\top}{X22A4}
  350 \DeclareSymbolHtml{\wp}{X2118}
  351 %Dotless 'i' and 'j'
  352 \DeclareSymbolHtml[i]{\i}{X131}
  353 \let\imath\i
  354 \DeclareSymbolHtml[j]{\j}{X237}
  355 \let\jmath\j
  356 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  357 % Table 122: Math-mode Accents %
  358 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  359 \let\acute\'
  360 \let\bar\=
  361 \let\breve\u
  362 \let\check\v
  363 \let\dot\.
  364 \let\grave\`
  365 \let\hat\^
  366 \let\mathring\r
  367 \let\tilde\~
  368 \newcommand{\@@vec}[1]{{#1}^{\rightarrow}}
  369 \newcommand{\@vec}[1]{\mathop{#1}\limits^{\rightarrow}\nolimits}
  370 \newcommand{\vec}{\DisplayChoose\@vec\@@vec}
  371 %%%%%%%%%%%%%%%%%%%
  372 % Table 138: Dots %
  373 %%%%%%%%%%%%%%%%%%%
  374 \DeclareSymbolHtml[...]{\ldots}{X2026}
  375 \newcommand{\text@vdots}
  376   {\ifdisplay\mbox{\cdot\\\cdot\\\cdot}\else:\fi}
  377 \DeclareSymbolHtml[\text@vdots]{\vdots}{X22EE}
  378 \DeclareSymbolHtml[\cdot\cdot\cdot]{\cdots}{X22EF}
  379 \newcommand{\text@ddots}{\ifdisplay\mbox{\cdot~~\\~\cdot~\\~~\cdot}\else%
  380 \hva@warn{\ddots in text}\mbox{ddots}\fi}
  381 \DeclareSymbolHtml[\text@ddots]{\ddots}{X22F1}
  382 \let\cdotp\cdot
  383 \newcommand{\ldotp}{.}
  384 \DeclareSymbolHtml[:]{\colon}{X2236}
  385 %%% So called log-like functions
  386 \newcommand{\@defl}[2]{\newcommand{#1}{\mathop{\mbox{#2}}}}
  387 \newcommand{\@defnl}[2]{\newcommand{#1}{\mathop{\mbox{#2}}\nolimits}}
  388 \@defnl\arccos{arccos}
  389 \@defnl\arcsin{arcsin}
  390 \@defnl\arctan{arctan}
  391 \@defnl\arg{arg}
  392 \@defnl\cos{cos}
  393 \@defnl\cosh{cosh}
  394 \@defnl\cot{cot}
  395 \@defnl\coth{coth}
  396 \@defnl\csc{csc}
  397 \@defnl\deg{deg}
  398 \@defl\det{det}
  399 \@defnl\dim{dim}
  400 \@defnl\exp{exp}
  401 \@defl\gcd{gcd}
  402 \@defnl\hom{hom}
  403 \@defl\inf{inf}
  404 \@defnl\ker{ker}
  405 \@defnl\lg{lg}
  406 \@defl\lim{lim}
  407 \@defl\liminf{liminf}
  408 \@defl\limsup{limsup}
  409 \@defnl\ln{ln}
  410 \@defnl\log{log}
  411 \@defl\max{max}
  412 \@defl\min{min}
  413 \@defl\Pr{Pr}
  414 \@defnl\sec{sec}
  415 \@defnl\sin{sin}
  416 \@defnl\sinh{sinh}
  417 \@defl\sup{sup}
  418 \@defnl\tan{tan}
  419 \@defnl\tanh{tanh}
  420 \@defnl\bmod{mod}
  421 %%%%%%%%%%%%%%
  422 \def\pmod#1{\mbox{(mod }#1{\@anti{\@style{I}} )}}
  423 \def\tth{\textnormal{||-}}
  424 \def\frac#1#2{{#1\over #2}}
  425 \newcommand{\limits}{}
  426 \newcommand{\nolimits}{}
  427 %%%TeX definitions
  428 \let\le\leq
  429 \let\ge\geq
  430 %%%%%%%%%%%%%%%%%%
  431 %%Defaut accents%%
  432 %%%%%%%%%%%%%%%%%%
  433 %\<internalname>@default is the default typesetting cmd, when
  434 %translation to unicode fails.
  435 %eg by \newcommand{\acute@default}[1]{#1'}, you get postfix accute accents.
  436 \ifhtml
  437 \newcommand{\macron@default}[1]{\textoverline{#1}}
  438 \newcommand{\linebelow@default}[1]{\textunderline{#1}}
  439 \fi
  440 \newcommand{\text@accent}[4]
  441 {\@ifundefined{#1@default}
  442   {\hva@warn{Application of '#2' on '#4' failed}#3}
  443   {\csname#1@default\endcsname{#3}}}
  444 %%%%%%%%%%%%%%%%%%%%%%%%%%
  445 % Delimiters (Table 113) %
  446 %%%%%%%%%%%%%%%%%%%%%%%%%%
  447 \let\@top@br\@br
  448 \newcommand{\delim@name}[1]{\string{#1@delimname}}
  449 \newcommand{\process@delim}[2]
  450 {\@ifundefined{\delim@name{#1}}
  451   {\process@delim@one{#2}{#1}}
  452   {\csname\delim@name{#1}\endcsname{#2}}}
  453 \newcommand{\csname\delim@name{.}\endcsname}[1]{}
  454 %%Simple replication
  455 \newcommand{\mid@vert@txt}{\@print@u{X7C}}
  456 \DeclareSymbolHtml[\mid@vert@txt]{\mid@vert}{X23AA}%curly bracket extension
  457 \newcommand{\mid@Vert}{\mid@vert\mid@vert}
  458 %\DeclareSymbolHtml[\mid@Vert@txt]{\mid@Vert}{X2225}
  459 \newcommand{\vert}{|}
  460 \newcommand{\|}{||}
  461 \DeclareSymbolHtml[||]{\Vert}{X2225}
  462 \newcommand{\csname\delim@name{\vert}\endcsname}[1]
  463 {\process@delim@one{#1}{\mid@vert}}
  464 \newcommand{\csname\delim@name{\Vert}\endcsname}[1]
  465 {\process@delim@one{#1}{\mid@Vert}}
  466 \newcommand{\csname\delim@name{|}\endcsname}[1]
  467 {\process@delim@one{#1}{\mid@vert}}
  468 \newcommand{\csname\delim@name{\|}\endcsname}[1]
  469 {\process@delim@one{#1}{\mid@Vert}}
  470 %%Left parenthesis
  471 \newcommand{\@nbsp}{\@print@u{XA0}}
  472 \newcommand{\top@parleft@txt}{\@print@u{X2F}\@nbsp}
  473 \newcommand{\mid@parleft@txt}{\@print@u{X7C}\@nbsp}
  474 \newcommand{\dow@parleft@txt}{\@print@u{X5C}\@nbsp}
  475 \DeclareSymbolHtml[\top@parleft@txt]{\top@parleft}{X239B}
  476 \DeclareSymbolHtml[\mid@parleft@txt]{\mid@parleft}{X239C}
  477 \DeclareSymbolHtml[\dow@parleft@txt]{\dow@parleft}{X239D}
  478 \newcommand{\csname\delim@name(\endcsname}[1]
  479 {\process@delim@three{#1}{\top@parleft}{\mid@parleft}{\dow@parleft}}
  480 %%Right parenthesis
  481 \newcommand{\top@parright@txt}{\@nbsp\@print@u{X5C}}
  482 \newcommand{\mid@parright@txt}{\@nbsp\@print@u{X7C}}
  483 \newcommand{\dow@parright@txt}{\@nbsp\@print@u{X2F}}
  484 \DeclareSymbolHtml[\top@parright@txt]{\top@parright}{X239E}
  485 \DeclareSymbolHtml[\mid@parright@txt]{\mid@parright}{X239F}
  486 \DeclareSymbolHtml[\dow@parright@txt]{\dow@parright}{X23A0}
  487 \newcommand{\csname\delim@name)\endcsname}[1]
  488 {\process@delim@three{#1}{\top@parright}{\mid@parright}{\dow@parright}}
  489 %%Left square bracket
  490 \newcommand{\top@sqbraleft@txt}{--}
  491 \newcommand{\mid@sqbraleft@txt}{\@print@u{X7C}\@nbsp}
  492 \newcommand{\dow@sqbraleft@txt}{--}
  493 \DeclareSymbolHtml[\top@sqbraleft@txt]{\top@sqbraleft}{X23A1}
  494 \DeclareSymbolHtml[\mid@sqbraleft@txt]{\mid@sqbraleft}{X23A2}
  495 \DeclareSymbolHtml[\dow@sqbraleft@txt]{\dow@sqbraleft}{X23A3}
  496 \newcommand{\csname\delim@name{[}\endcsname}[1]
  497 {\process@delim@three{#1}{\top@sqbraleft}{\mid@sqbraleft}{\dow@sqbraleft}}
  498 %%Right square bracket
  499 \newcommand{\top@sqbraright@txt}{--}
  500 \newcommand{\mid@sqbraright@txt}{\@nbsp\@print@u{X7C}}
  501 \newcommand{\dow@sqbraright@txt}{--}
  502 \DeclareSymbolHtml[\top@sqbraright@txt]{\top@sqbraright}{X23A4}
  503 \DeclareSymbolHtml[\mid@sqbraright@txt]{\mid@sqbraright}{X23A5}
  504 \DeclareSymbolHtml[\dow@sqbraright@txt]{\dow@sqbraright}{X23A6}
  505 \newcommand{\csname\delim@name{]}\endcsname}[1]
  506 {\process@delim@three{#1}{\top@sqbraright}{\mid@sqbraright}{\dow@sqbraright}}
  507 %%Left ceil
  508 \DeclareSymbolHtml[\mbox{lceil}]{\lceil}{X2308}
  509 \newcommand{\csname\delim@name{\lceil}\endcsname}[1]
  510 {\process@delim@top{#1}{\top@sqbraleft}{\mid@sqbraleft}}
  511 %%Left floor
  512 \DeclareSymbolHtml[\mbox{lfloor}]{\lfloor}{X230A}
  513 \newcommand{\csname\delim@name{\lfloor}\endcsname}[1]
  514 {\process@delim@dow{#1}{\mid@sqbraleft}{\dow@sqbraleft}}
  515 %%Right ceil
  516 \DeclareSymbolHtml[\mbox{rceil}]{\rceil}{X2309}
  517 \newcommand{\csname\delim@name{\rceil}\endcsname}[1]
  518 {\process@delim@top{#1}{\top@sqbraright}{\mid@sqbraright}}
  519 %%Right floor
  520 \DeclareSymbolHtml[\mbox{rfloor}]{\rfloor}{X230B}
  521 \newcommand{\csname\delim@name{\rfloor}\endcsname}[1]
  522 {\process@delim@dow{#1}{\mid@sqbraright}{\dow@sqbraright}}
  523 %%Left curly bracket
  524 \newcommand{\curlybra@ext@txt}{\@print@u{X7C}}
  525 \newcommand{\leftcurlybra@ext@txt}{\@nbsp\@print@u{X7C}\@nbsp}
  526 \newcommand{\leftcurlybra@top@txt}{\@nbsp\@print@u{X2F}\@nbsp}
  527 \newcommand{\leftcurlybra@mid@txt}{<\@nbsp}
  528 \newcommand{\leftcurlybra@dow@txt}{\@nbsp\@print@u{X5C}\@nbsp}
  529 \DeclareSymbolHtml[\curlybra@ext@txt]{\curlybra@ext}{X23AA}
  530 \DeclareSymbolHtml[\leftcurlybra@ext@txt]{\leftcurlybra@ext}{X23AA}
  531 \DeclareSymbolHtml[\leftcurlybra@top@txt]{\leftcurlybra@top}{X23A7}
  532 \DeclareSymbolHtml[\leftcurlybra@mid@txt]{\leftcurlybra@mid}{X23A8}
  533 \DeclareSymbolHtml[\leftcurlybra@dow@txt]{\leftcurlybra@dow}{X23A9}
  534 \newcommand{\csname\delim@name{\{}\endcsname}[1]
  535 {\process@delim@four{#1}
  536 {\leftcurlybra@ext}{\leftcurlybra@top}{\leftcurlybra@mid}{\leftcurlybra@dow}}
  537 %%Right curly bracket
  538 \newcommand{\rightcurlybra@ext@txt}{\@nbsp\@print@u{X7C}}
  539 \newcommand{\rightcurlybra@top@txt}{\@nbsp\@print@u{X5C}}
  540 \newcommand{\rightcurlybra@mid@txt}{\@nbsp>}
  541 \newcommand{\rightcurlybra@dow@txt}{\@nbsp\@print@u{X2F}}
  542 \DeclareSymbolHtml[\rightcurlybra@ext@txt]{\rightcurlybra@ext}{X23AA}
  543 \DeclareSymbolHtml[\rightcurlybra@top@txt]{\rightcurlybra@top}{X23AB}
  544 \DeclareSymbolHtml[\rightcurlybra@mid@txt]{\rightcurlybra@mid}{X23AC}
  545 \DeclareSymbolHtml[\rightcurlybra@dow@txt]{\rightcurlybra@dow}{X23AD}
  546 \newcommand{\csname\delim@name{\}}\endcsname}[1]
  547 {\process@delim@four{#1}
  548 {\rightcurlybra@ext}{\rightcurlybra@top}
  549 {\rightcurlybra@mid}{\rightcurlybra@dow}}
  550 %%Arrows
  551 \DeclareSymbolHtml[|]{\arr@mid}{X23AA}%curly bracket extension
  552 \newcommand{\csname\delim@name{\uparrow}\endcsname}[1]
  553 {\process@delim@top{#1}{\uparrow}{\arr@mid}}
  554 \newcommand{\csname\delim@name{\downarrow}\endcsname}[1]
  555 {\process@delim@dow{#1}{\arr@mid}{\downarrow}}
  556 \newcommand{\csname\delim@name{\updownarrow}\endcsname}[1]
  557 {\process@delim@three{#1}{\uparrow}{\arr@mid}{\downarrow}}
  558 %%Arrows
  559 \DeclareSymbolHtml[||]{\Arr@mid}{X2225}
  560 \newcommand{\csname\delim@name{\Uparrow}\endcsname}[1]
  561 {\process@delim@top{#1}{\Uparrow}{\Arr@mid}}
  562 \newcommand{\csname\delim@name{\Downarrow}\endcsname}[1]
  563 {\process@delim@dow{#1}{\Arr@mid}{\Downarrow}}
  564 \newcommand{\csname\delim@name{\Updownarrow}\endcsname}[1]
  565 {\process@delim@three{#1}{\Uparrow}{\Arr@mid}{\Downarrow}}
  566 %%Those get replicated in \left\right
  567 \DeclareSymbolHtml[\mbox{<bra~}]{\langle}{X27E8}
  568 \DeclareSymbolHtml[\mbox{~ket>}]{\rangle}{X27E9}
  569 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  570 % Large Delimiters (Table 113) %
  571 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  572 \DeclareSymbolHtml{\lmoustache}{X23B0}%does noyt really exist in latex...
  573 \newcommand{\lmous@top@txt}{\@print@u{X2F}\@nbsp}
  574 \newcommand{\lmous@mid@txt}{\@print@u{X7C}\@nbsp}
  575 \newcommand{\lmous@dow@txt}{\@print@u{X2F}\@nbsp}
  576 \DeclareSymbolHtml[\lmous@top@txt]{\lmous@top}{X23A7}
  577 \DeclareSymbolHtml[\lmous@mid@txt]{\lmous@mid}{X23AA}
  578 \DeclareSymbolHtml[\lmous@dow@txt]{\lmous@dow}{X23AD}
  579 \newcommand{\csname\delim@name{\lmoustache}\endcsname}[1]
  580 {\process@delim@three{#1}
  581   {\lmous@top}{\lmous@mid}{\lmous@dow}}
  582 \DeclareSymbolHtml{\rmoustache}{X23B1}%does noyt really exist in latex...
  583 \newcommand{\rmous@top@txt}{\@nbsp\@print@u{X5C}}
  584 \newcommand{\rmous@mid@txt}{\@nbsp\@print@u{X7C}}
  585 \newcommand{\rmous@dow@txt}{\@nbsp\@print@u{X5C}}
  586 \DeclareSymbolHtml[\rmous@top@txt]{\rmous@top}{X23AB}
  587 \DeclareSymbolHtml[\rmous@mid@txt]{\rmous@mid}{X23AA}
  588 \DeclareSymbolHtml[\rmous@dow@txt]{\rmous@dow}{X23A9}
  589 \newcommand{\csname\delim@name{\rmoustache}\endcsname}[1]
  590 {\process@delim@three{#1}
  591   {\rmous@top}{\rmous@mid}{\rmous@dow}}
  592 \newcommand{\lgroup}{(}
  593 \newcommand{\csname\delim@name\lgroup\endcsname}[1]
  594 {\process@delim@three{#1}{\top@parleft}{\mid@parleft}{\dow@parleft}}
  595 \newcommand{\rgroup}{)}
  596 \newcommand{\csname\delim@name\rgroup\endcsname}[1]
  597 {\process@delim@three{#1}{\top@parright}{\mid@parright}{\dow@parright}}
  598 \newcommand{\arrowvert}{|}
  599 \@Let\Arrowvert\Vert
  600 \newcommand{\bracevert}{\textbf{|}}
  601 \newcommand{\csname\delim@name{\arrowvert}\endcsname}[1]
  602 {\process@delim@one{#1}{\mid@vert}}
  603 \newcommand{\csname\delim@name{\Arrowvert}\endcsname}[1]
  604 {\process@delim@one{#1}{\mid@Vert}}
  605 \newcommand{\csname\delim@name{\bracevert}\endcsname}[1]
  606 {\process@delim@one{#1}{\textbf{\mid@vert}}}
  607 %%%%%%%%%%%%%%%%%%%%%
  608 % Explicit \big etc.%
  609 %%%%%%%%%%%%%%%%%%%%%
  610 \NewcommandHtml{\@big}[1]
  611 {\@itemdisplay\process@delim{#1}{2}\@itemdisplay\int@sup@sub{2}}
  612 \NewcommandHtml{\@@big}[1]{\hva@warn{\big in text mode}#1}
  613 \NewcommandHtml{\big}{\DisplayChoose\@big\@@big}
  614 \NewcommandHtml{\@Big}[1]
  615 {\@itemdisplay\process@delim{#1}{3}\@itemdisplay\int@sup@sub{3}}
  616 \NewcommandHtml{\@@Big}[1]{\hva@warn{\Big in text mode}#1}
  617 \NewcommandHtml{\Big}{\DisplayChoose\@Big\@@Big}
  618 \NewcommandHtml{\@bigg}[1]
  619 {\@itemdisplay\process@delim{#1}{4}\@itemdisplay\int@sup@sub{4}}
  620 \NewcommandHtml{\@@bigg}[1]{\hva@warn{\bigg in text mode}#1}
  621 \NewcommandHtml{\bigg}{\DisplayChoose\@bigg\@@bigg}
  622 \NewcommandHtml{\@Bigg}[1]
  623 {\@itemdisplay\process@delim{#1}{5}\@itemdisplay\int@sup@sub{5}}
  624 \NewcommandHtml{\@@Bigg}[1]{\hva@warn{\Bigg in text mode}#1}
  625 \NewcommandHtml{\Bigg}{\DisplayChoose\@Bigg\@@Bigg}
  626 \@Let\bigl\big\@Let\bigm\big\@Let\bigr\big
  627 \@Let\Bigl\Big\@Let\Bigm\Big\@Let\Bigr\Big
  628 \@Let\biggl\bigg\@Let\biggm\bigg\@Let\biggr\bigg
  629 \@Let\Biggl\Bigg\@Let\Biggm\Bigg\@Let\Biggr\Bigg
  630 %%%%%%%%%%%%%%%
  631 % Square root %
  632 %%%%%%%%%%%%%%%
  633 \newcounter{@c}
  634 \NewcommandHtml{\@surd}[2]
  635 {\ifthenelse{#1 < 5}{{\Large#2}}
  636 {\setcounter{@c}{(#1-5)*2}%
  637 \@open{TABLE}{style="border-spacing:0" class="cellpadding0"}%
  638 \@open{TR}{}\@open{TD}{ALIGN="right"}%
  639 \@open{DIV}{CLASS="vertical-rule" STYLE="height:\arabic{@c}em;"}\@force{DIV}%
  640 \@close{TD}\@close{TR}%
  641 \@open{TR}{}\@open{TD}{}%
  642 {\Huge#2}%
  643 \@close{TD}\@close{TR}\@close{TABLE}}}
  644 \NewcommandHtml{\csname\delim@name{\surd}\endcsname}[1]{\@surd{#1}{\surd}}
  645 \DeclareSymbolHtml{\surd@four}{X221C}
  646 \NewcommandHtml{\csname\delim@name{\surd@four}\endcsname}[1]
  647   {\@surd{#1}{\surd@four}}
  648 \DeclareSymbolHtml{\surd@three}{X221B}
  649 \NewcommandHtml{\csname\delim@name{\surd@three}\endcsname}[1]
  650   {\@surd{#1}{\surd@three}}
  651 \NewcommandHtml{\@sqrt}[2][2]
  652 {\ifthenelse{\equal{#1}{2}}{\left\surd\overline{#2}\right.}{%
  653 \ifthenelse{\equal{#1}{3}}{\left\surd@three\overline{#2}\right.}{%
  654 \ifthenelse{\equal{#1}{4}}{\left\surd@four\overline{#2}\right.}{%
  655 {\left(#2\right)^{\frac{1}{#1}}}}}}}
  656 \NewcommandHtml{\@@sqrt}[2][2]
  657 {\ifthenelse{\equal{#1}{2}}{\surd\overlinedbox{#2}}{%
  658 \ifthenelse{\equal{#1}{3}}{\surd@three\overlinedbox{#2}}{%
  659 \ifthenelse{\equal{#1}{4}}{\surd@four\overlinedbox{#2}}{%
  660 {(#2)^{\frac{1}{#1}}}}}}}
  661 \NewcommandHtml{\sqrt}{\DisplayChoose\@sqrt\@@sqrt}
  662 \NewcommandText{\sqrt}[2][2]{\left(#2\right)^{1/#1}}
  663 %%%%%%%%%%%%%%%%%%%%%
  664 % Negated relations %
  665 %%%%%%%%%%%%%%%%%%%%%
  666 % Table 8, p. 436 in TeX book
  667 \newcommand{\not@name}[1]{\string{#1@not}}
  668 \newcommand{\DeclareNot}[3][\@empty]
  669 {\ifu\csname\not@name{#2}\endcsname
  670 \DeclareSymbolHtml[\mbox{\neg(#2)}]{\csname\not@name{#2}\endcsname}{#3}\fi}
  671 \newcommand{\not}[1]
  672 {\@ifundefined{\not@name{#1}}
  673 {\hva@warn{Cannot apply '\not' to '#1'}\neg{}#1}%
  674 {\csname\not@name{#1}\endcsname}}
  675 %%
  676 \DeclareSymbolHtml[\mbox{notin}]{\notin}{X2209}
  677 \DeclareNot[\mbox{notin}]{\in}{X2209}
  678 %%
  679 \DeclareNot{<}{X226E}
  680 \DeclareNot{>}{X226F}
  681 \DeclareNot{=}{X2260}
  682 \DeclareNot{\leq}{X2270}
  683 \DeclareNot{\geq}{X2271}
  684 \DeclareNot{\equiv}{X2262}
  685 \DeclareNot{\prec}{X2280}
  686 \DeclareNot{\succ}{X2281}
  687 \DeclareNot{\sim}{X2241}
  688 \DeclareNot{\preceq}{X22E0}
  689 \DeclareNot{\succeq}{X22E1}
  690 \DeclareNot{\simeq}{X2244}
  691 \DeclareNot{\subset}{X2284}
  692 \DeclareNot{\supset}{X2285}
  693 \DeclareNot{\approx}{X2249}
  694 \DeclareNot{\subseteq}{X2288}
  695 \DeclareNot{\supseteq}{X2289}
  696 \DeclareNot{\cong}{X2247}
  697 \DeclareNot{\sqsubseteq}{X22E2}
  698 \DeclareNot{\sqsupseteq}{X22E3}
  699 \DeclareNot{\asymp}{X226D}
  700 \DeclareNot{\ni}{X220C}
  701 \DeclareNot{\vdash}{X22AC}
  702 \DeclareNot{\Leftarrow}{X21CD}
  703 \DeclareNot{\leftarrow}{X219A}
  704 \DeclareNot{\Leftrightarrow}{X21CE}
  705 \DeclareNot{\leftrightarrow}{X21AE}
  706 \DeclareNot{\rightarrow}{X219B}
  707 \DeclareNot{\Rightarrow}{X21CF}
  708 \DeclareNot{\exists}{X2204}
  709 \DeclareNot{\mid}{X2224}
  710 \DeclareNot{\parallel}{X2226}
  711 \DeclareNot{\models}{X22AD}
  712 %%%%%%%%%%%%%%%%%%
  713 % TeX synomyms   %
  714 %%%%%%%%%%%%%%%%%%
  715 \@Let\le\leq
  716 \@Let\ge\geq
  717 \@Let\ne\neq
  718 \@Let\to\rightarrow
  719 \@Let\land\wedge
  720 \newcommand{\iff}{\;\Longleftrightarrow\;}
  721 \@Let\gets\leftarrow
  722 \@Let\lor\vee
  723 \@Let\owns\ni
  724 \@Let\lnot\neg
  725 %%%%%%%%%%%%%%%%%%%%
  726 %Needed internally %
  727 %%%%%%%%%%%%%%%%%%%%