HEVEA: html/symb-mathml.hva

"Fossies" - the Fresh Open Source Software Archive

Member "hevea-2.35/html/symb-mathml.hva" (16 Jan 2021, 10092 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 \def\@ifitem{\ifmath\ifdisplay\@itemdisplay\fi\fi} 2 \newcommand{\@mop}[1]{ 3 \@ifitem% 4 \@print{<mo> &}\@subst{#1}\@print{; </mo>}% 5 \@ifitem} 6 \newcommand{\@mopop}[1]{\@print{<mo> &}\@subst{#1}\@print{; </mo>}} 7 \newcommand{\@mid}[1]{ 8 \@ifitem% 9 \@print{<mi> &}\@subst{#1}\@print{; </mi>}% 10 \@ifitem} 11 \newcommand{\@mfun}[1]{\@print{<mo> }\@subst{#1}\@print{ </mo>}} 12 13 %% Symboles mathematiques 14 %% classes dans le meme ordre que 15 %% dans le livre LaTeX, de Leslie Lamport. 16 17 18 %% overline, underline et Cie 19 20 \renewcommand{\stackrel}[2]{\ifdisplay 21 \@print{ 22 <mover>}% 23 \@open{display}{}#2\@close{display}{} 24 25 \@open{display}{}#1\@close{display}{}% 26 \@print{ 27 </mover>} 28 \else 29 \textstackrel{#1}{#2}\fi} 30 31 \renewcommand\overline[1]{\ifdisplay 32 \@print{ 33 <mover accent="true">}% 34 \@open{display}{}#1\@close{display}{}% 35 \@print{<mo> &horbar; </mo> 36 </mover>} 37 \else\textoverline{#1}\fi} 38 39 \renewcommand\underline[1]{\ifdisplay 40 \@print{ 41 <munder accentunder="true">}% 42 \@open{display}{}#1\@close{display}{}% 43 \@print{<mo> &horbar; </mo> 44 </munder>} 45 \else\textunderline{#1}\fi} 46 47 48 % Roots 49 \newcommand{\sqrt}[2][!*!]{\ifthenelse{\equal{#1}{!*!}}% 50 {\@print{<msqrt> 51 }% 52 #2\@print{ 53 </msqrt>}% 54 }{\@print{<mroot> 55 }\@open{display}{}% 56 #2 57 \@close{display}{}% 58 \@open{display}{}% 59 #1% 60 \@close{display}{}% 61 \@print{ 62 </mroot> 63 }}} 64 65 % Ellipsis 66 \renewcommand{\ldots}{\ifmath\@mop{TripleDot}\else{...}\fi} 67 \renewcommand{\cdots}{\@mop{ctdot}} 68 \renewcommand{\ddots}{\@mop{dtdot}} 69 \renewcommand{\vdots}{\@mop{ratio}} 70 %vdots is not the true symbol, but i didn't 71 %find a better one.. 72 73 %% Greek Letters 74 \newcommand{\alpha}{\@mid{alpha}} 75 \newcommand{\beta}{\@mid{beta}} 76 \newcommand{\gamma}{\@mid{gamma}} 77 \newcommand{\delta}{\@mid{delta}} 78 \newcommand{\epsilon}{\@mid{epsi}} 79 \newcommand{\varepsilon}{\@mid{epsiv}} 80 \newcommand{\zeta}{\@mid{zeta}} 81 \newcommand{\eta}{\@mid{eta}} 82 \newcommand{\theta}{\@mid{theta}} 83 \newcommand{\vartheta}{\@mid{vartheta}} 84 \newcommand{\iota}{\@mid{iota}} 85 \newcommand{\kappa}{\@mid{kappa}} 86 \newcommand{\lambda}{\@mid{lambda}} 87 \renewcommand{\mu}{\@mid{mu}} 88 \newcommand{\nu}{\@mid{nu}} 89 \newcommand{\xi}{\@mid{xi}} 90 \newcommand{\pi}{\@mid{pi}} 91 \newcommand{\varpi}{\@mid{piv}} 92 \newcommand{\rho}{\@mid{rho}} 93 \newcommand{\varrho}{\@mid{rhov}} 94 \newcommand{\sigma}{\@mid{sigma}} 95 \newcommand{\varsigma}{\@mid{sigmav}} 96 \newcommand{\tau}{\@mid{tau}} 97 \newcommand{\upsilon}{\@mid{upsi}} 98 \newcommand{\phi}{\@mid{phi}} 99 \newcommand{\varphi}{\@mid{phiv}} 100 \newcommand{\chi}{\@mid{chi}} 101 \newcommand{\psi}{\@mid{psi}} 102 \newcommand{\omega}{\@mid{omega}} 103 104 \newcommand{\Gamma}{\@mid{Gamma}} 105 \newcommand{\Delta}{\@mid{Delta}} 106 \newcommand{\Theta}{\@mid{Theta}} 107 \newcommand{\Lambda}{\@mid{Lambda}} 108 \newcommand{\Xi}{\@mid{Xi}} 109 \newcommand{\Pi}{\@mid{Pi}} 110 \newcommand{\Sigma}{\@mid{Sigma}} 111 \newcommand{\Upsilon}{\@mid{Upsi}} 112 \newcommand{\Phi}{\@mid{Phi}} 113 \newcommand{\Psi}{\@mid{Psi}} 114 \newcommand{\Omega}{\@mid{Omega}} 115 116 %% Binary Operation Symbols 117 \renewcommand{\pm}{\@mop{PlusMinus}} 118 \newcommand{\mp}{\@mop{mp}} 119 \renewcommand{\times}{\@mop{times}} 120 \renewcommand{\div}{\@mop{div}} 121 \renewcommand{\ast}{\@mop{ast}} 122 \renewcommand{\star}{\@mop{star}} 123 \newcommand{\circ}{\@mop{circ}} 124 \newcommand{\bullet}{\@mop{Bull}} 125 \renewcommand{\cdot}{\@mop{cdot}} 126 \newcommand{\cap}{\@mop{cap}} 127 \newcommand{\cup}{\@mop{Cup}} 128 \newcommand{\uplus}{\@mop{UnionPlus}} 129 \newcommand{\sqcap}{\@mop{SquareIntersection}} 130 \newcommand{\sqcup}{\@mop{SquareUnion}} 131 \newcommand{\vee}{\@mop{Or}} 132 \newcommand{\wedge}{\@mop{And}} 133 \renewcommand{\setminus}{\@mop{setminus}} 134 \newcommand{\wr}{\@mop{wr}} 135 \newcommand{\diamond}{\@mop{diamond}} 136 \newcommand{\bigtriangleup}{\@mop{bigtriangleup}} 137 \newcommand{\bigtriangledown}{\@mop{dtri}} %bigtriangledown}} 138 \newcommand{\triangleleft}{\@mop{triangleleft}} 139 \newcommand{\triangleright}{\@mop{triangleright}} 140 \newcommand{\lhd}{\@mop{LeftTriangle}} 141 \newcommand{\rhd}{\@mop{RightTriangle}} 142 \newcommand{\unlhd}{\@mop{LeftTriangleEqual}} 143 \newcommand{\unrhd}{\@mop{RightTriangleEqual}} 144 \newcommand{\oplus}{\@mop{CirclePlus}} 145 \newcommand{\ominus}{\@mop{CircleMinus}} 146 \newcommand{\otimes}{\@mop{CircleTimes}} 147 \newcommand{\oslash}{\@mop{oslash}} 148 \newcommand{\odot}{\@mop{CircleDot}} 149 \renewcommand{\bigcirc}{\@mop{bigcirc}} 150 \newcommand{\dagger}{\@mop{dagger}} 151 \newcommand{\ddagger}{\@mop{ddagger}} 152 \newcommand{\amalg}{\@mop{amalg}} 153 154 % Relation Symbols 155 \newcommand{\leq}{\@mop{leq}} 156 \newcommand{\prec}{\@mop{prec}} 157 \newcommand{\preceq}{\@mop{preceq}} 158 \renewcommand{\ll}{\@mop{ll}} 159 \newcommand{\subset}{\@mop{SubSet}} 160 \newcommand{\subseteq}{\@mop{SubSetEqual}} 161 \newcommand{\sqsubset}{\@mop{sqsubset}} 162 \newcommand{\sqsubseteq}{\@mop{sqsubseteq}} 163 \newcommand{\in}{\@mop{Element}} 164 \renewcommand{\vdash}{\@mop{RightTee}} 165 \newcommand{\geq}{\@mop{geq}} 166 \newcommand{\succ}{\@mop{succ}} 167 \renewcommand{\gg}{\@mop{gg}} 168 \newcommand{\supset}{\@mop{SuperSet}} 169 \newcommand{\supseteq}{\@mop{SuperSetEqual}} 170 \newcommand{\sqsupset}{\@mop{sqsupset}} 171 \newcommand{\sqsupseteq}{\@mop{sqsupseteq}} 172 \newcommand{\ni}{\@mop{SuchThat}} 173 \renewcommand{\dashv}{\@mop{LeftTee}} 174 \newcommand{\equiv}{\@mop{equiv}} 175 \renewcommand{\sim}{\@mop{Tilde}} 176 \renewcommand{\simeq}{\@mop{simeq}} 177 \newcommand{\asymp}{\@mop{CupCap}} 178 \newcommand{\approx}{\@mop{ap}} 179 \newcommand{\cong}{\@mop{TildeFullEqual}} 180 \newcommand{\neq}{\@mop{NotEqual}} 181 \newcommand{\doteq}{\@mop{doteq}} 182 \newcommand{\notin}{\@mop{NotElement}} 183 \renewcommand{\models}{\@mop{DoubleRightTee}} 184 \newcommand{\perp}{\@mop{UpTee}} 185 \renewcommand{\mid}{\@mop{VerticalBar}} 186 \newcommand{\parallel}{\@mop{parallel}} 187 \newcommand{\bowtie}{\@mop{bowtie}} 188 %\newcommand{\Join}{\@mop{}} 189 \newcommand{\smile}{\@mop{smile}} 190 \newcommand{\frown}{\@mop{frown}} 191 \newcommand{\propto}{\@mop{Proportional}} 192 193 % Arrow Symbols 194 \newcommand{\leftarrow}{\@mop{LeftArrow}} 195 \newcommand{\Leftarrow}{\@mop{DoubleLeftArrow}} 196 \newcommand{\rightarrow}{\@mop{RightArrow}} 197 \newcommand{\Rightarrow}{\@mop{DoubleRightArrow}} 198 \newcommand{\leftrightarrow}{\@mop{LeftRightArrow}} 199 \newcommand{\Leftrightarrow}{\@mop{DoubleLeftRightArrow}} 200 \renewcommand{\mapsto}{\@mop{mapsto}} 201 \newcommand{\hookleftarrow}{\@mop{hookleftarrow}} 202 \newcommand{\leftharpoonup}{\@mop{leftharpoonup}} 203 \newcommand{\leftharpoondown}{\@mop{leftharpoondown}} 204 \newcommand{\rightleftharpoons}{\@mop{rightleftharpoons}} 205 \newcommand{\longleftarrow}{\@mop{longleftarrow}} 206 \newcommand{\Longleftarrow}{\@mop{Longleftarrow}} 207 \newcommand{\longrightarrow}{\@mop{longrightarrow}} 208 \newcommand{\Longrightarrow}{\@mop{Longrightarrow}} 209 \newcommand{\longleftrightarrow}{\@mop{longleftrightarrow}} 210 \newcommand{\Longleftrightarrow}{\@mop{Longleftrightarrow}} 211 \newcommand{\longmapsto}{\@mop{longmapsto}} 212 \newcommand{\hookrightarrow}{\@mop{hookrightarrow}} 213 \newcommand{\rightharpoonup}{\@mop{rightharpoonup}} 214 \newcommand{\rightharpoondown}{\@mop{rightharpoondown}} 215 \newcommand{\leadsto}{\@mop{zigrarr}} 216 \newcommand{\uparrow}{\@mop{UpArrow}} 217 \newcommand{\Uparrow}{\@mop{DoubleUpArrow}} 218 \newcommand{\downarrow}{\@mop{DownArrow}} 219 \newcommand{\Downarrow}{\@mop{DoubleDownArrow}} 220 \newcommand{\updownarrow}{\@mop{UpDownArrow}} 221 \newcommand{\Updownarrow}{\@mop{DoubleUpDownArrow}} 222 \newcommand{\nearrow}{\@mop{UpperRightArrow}} 223 \newcommand{\searrow}{\@mop{LowerRightArrow}} 224 \newcommand{\swarrow}{\@mop{LowerLeftArrow}} 225 \newcommand{\nwarrow}{\@mop{UpperLeftArrow}} 226 227 % Miscellaneous symbols 228 \newcommand{\aleph}{\@mop{aleph}} 229 \newcommand{\hbar}{\@mop{hbar}} 230 \newcommand{\imath}{\@mop{imath}} 231 \newcommand{\jmath}{\@mop{jmath}} 232 \newcommand{\ell}{\@mop{ell}} 233 \newcommand{\wp}{\@mop{weierp}} 234 \newcommand{\Re}{\@mop{Re}} 235 \newcommand{\Im}{\@mop{Im}} 236 \newcommand{\mho}{\@mop{mho}} 237 \newcommand{\prime}{\@mop{prime}} 238 \renewcommand{\emptyset}{\@mop{empty}} 239 \newcommand{\nabla}{\@mop{nabla}} 240 \newcommand{\surd}{\@mop{Sqrt}} 241 \newcommand{\top}{\@mop{top}} 242 \renewcommand{\bot}{\@mop{bot}} 243 \renewcommand{\|}{\@mop{DoubleVerticalBar}} 244 \newcommand{\angle}{\@mop{angle}} 245 \newcommand{\forall}{\@mop{ForAll}} 246 \newcommand{\exists}{\@mop{Exist}} 247 \renewcommand{\neg}{\@mop{Not}} 248 \newcommand{\flat}{\@mop{flat}} 249 \newcommand{\natural}{\@mop{natural}} 250 \newcommand{\sharp}{\@mop{sharp}} 251 \renewcommand{\backslash}{\@mop{Backslash}} 252 \newcommand{\partial}{\@mop{PartialD}} 253 \newcommand{\infty}{\@mop{infin}} 254 \newcommand{\Box}{\@mop{square}} 255 \newcommand{\Diamond}{\@mop{loz}} 256 \newcommand{\triangle}{\@mop{triangle}} 257 \newcommand{\clubsuit}{\@mop{clubs}} 258 \newcommand{\diamondsuit}{\@mop{Diamond}} 259 \newcommand{\heartsuit}{\@mop{hearts}} 260 \newcommand{\spadesuit}{\@mop{spades}} 261 262 % Variable-sized Symbols 263 \newcommand{\sum}{\@mopop{sum}} 264 \newcommand{\prod}{\@mopop{PI}} 265 \newcommand{\coprod}{\@mopop{Coproduct}} 266 \newcommand{\int}{\@mopop{int}} 267 \newcommand{\oint}{\@mopop{oint}} 268 \newcommand{\bigcap}{\@mopop{bigcap}} 269 \newcommand{\bigcup}{\@mopop{bigcup}} 270 \newcommand{\bigsqcup}{\@mopop{bigsqcup}} 271 \newcommand{\bigvee}{\@mopop{bigvee}} 272 \newcommand{\bigwedge}{\@mopop{bigwedge}} 273 \newcommand{\bigodot}{\@mopop{bigodot}} 274 \newcommand{\bigotimes}{\@mopop{bigotimes}} 275 \newcommand{\bigoplus}{\@mopop{bigoplus}} 276 \newcommand{\biguplus}{\@mopop{biguplus}} 277 278 279 280 %% Functions 281 282 \renewcommand{\arccos}{\@mfun{arccos}} 283 \renewcommand{\arcsin}{\@mfun{arcsin}} 284 \renewcommand{\arctan}{\@mfun{arctan}} 285 \renewcommand{\arg}{\@mfun{arg}} 286 \renewcommand{\cos}{\@mfun{cos}} 287 \renewcommand{\cosh}{\@mfun{cosh}} 288 \renewcommand{\cot}{\@mfun{cot}} 289 \renewcommand{\coth}{\@mfun{coth}} 290 \renewcommand{\csc}{\@mfun{csc}} 291 \renewcommand{\deg}{\@mfun{deg}} 292 \renewcommand{\det}{\@mfun{det}} 293 \renewcommand{\dim}{\@mfun{dim}} 294 \renewcommand{\exp}{\@mfun{exp}} 295 \renewcommand{\gcd}{\@mfun{gcd}} 296 \renewcommand{\hom}{\@mfun{hom}} 297 \renewcommand{\inf}{\@mfun{inf}} 298 \renewcommand{\ker}{\@mfun{ker}} 299 \renewcommand{\lg}{\@mfun{lg}} 300 \renewcommand{\lim}{\@mfun{lim}} 301 \renewcommand{\liminf}{\@mfun{liminf}} 302 \renewcommand{\limsup}{\@mfun{limsup}} 303 \renewcommand{\ln}{\@mfun{ln}} 304 \renewcommand{\log}{\@mfun{log}} 305 \renewcommand{\max}{\@mfun{max}} 306 \renewcommand{\min}{\@mfun{min}} 307 \renewcommand{\Pr}{\@mfun{Pr}} 308 \renewcommand{\sec}{\@mfun{sec}} 309 \renewcommand{\sin}{\@mfun{sin}} 310 \renewcommand{\sinh}{\@mfun{sinh}} 311 \renewcommand{\sup}{\@mfun{sup}} 312 \renewcommand{\tan}{\@mfun{tan}} 313 \renewcommand{\tanh}{\@mfun{tanh}} 314 \renewcommand{\bmod}{\@mfun{mod}}