lib/texinputs/isabellesym.sty
changeset 10193 1d6ae1ef8e64
parent 9976 b00373bf9cf3
child 10220 2a726de6e124
     1.1 --- a/lib/texinputs/isabellesym.sty	Wed Oct 11 13:39:52 2000 +0200
     1.2 +++ b/lib/texinputs/isabellesym.sty	Wed Oct 11 19:06:36 2000 +0200
     1.3 @@ -18,219 +18,225 @@
     1.4  % automatically inserts italic corrections around symbols wherever
     1.5  % appropriate.
     1.6  
     1.7 -\newcommand{\isasymspacespace}{~~}
     1.8 -\newcommand{\isasymGamma}{$\Gamma$}
     1.9 -\newcommand{\isasymDelta}{$\Delta$}
    1.10 -\newcommand{\isasymTheta}{$\Theta$}
    1.11 -\newcommand{\isasymLambda}{$\Lambda$}
    1.12 -\newcommand{\isasymXi}{$\Xi$}
    1.13 -\newcommand{\isasymPi}{$\Pi$}
    1.14 -\newcommand{\isasymSigma}{$\Sigma$}
    1.15 -\newcommand{\isasymUpsilon}{$\Upsilon$}
    1.16 -\newcommand{\isasymPhi}{$\Phi$}
    1.17 -\newcommand{\isasymPsi}{$\Psi$}
    1.18 -\newcommand{\isasymOmega}{$\Omega$}
    1.19 -\newcommand{\isasymalpha}{$\alpha$}
    1.20 -\newcommand{\isasymbeta}{$\beta$}
    1.21 -\newcommand{\isasymgamma}{$\gamma$}
    1.22 -\newcommand{\isasymdelta}{$\delta$}
    1.23 -\newcommand{\isasymepsilon}{$\varepsilon$}
    1.24 -\newcommand{\isasymzeta}{$\zeta$}
    1.25 -\newcommand{\isasymeta}{$\eta$}
    1.26 -\newcommand{\isasymtheta}{$\vartheta$}
    1.27 -\newcommand{\isasymiota}{$\iota$}
    1.28 -\newcommand{\isasymkappa}{$\kappa$}
    1.29 -\newcommand{\isasymlambda}{$\lambda$}
    1.30 -\newcommand{\isasymmu}{$\mu$}
    1.31 -\newcommand{\isasymnu}{$\nu$}
    1.32 -\newcommand{\isasymxi}{$\xi$}
    1.33 -\newcommand{\isasympi}{$\pi$}
    1.34 -\newcommand{\isasymrho}{$\varrho$}
    1.35 -\newcommand{\isasymsigma}{$\sigma$}
    1.36 -\newcommand{\isasymtau}{$\tau$}
    1.37 -\newcommand{\isasymupsilon}{$\upsilon$}
    1.38 -\newcommand{\isasymphi}{$\varphi$}
    1.39 -\newcommand{\isasymchi}{$\chi$}
    1.40 -\newcommand{\isasympsi}{$\psi$}
    1.41 -\newcommand{\isasymomega}{$\omega$}
    1.42 -\newcommand{\isasymnot}{\emph{$\neg$}}
    1.43 -\newcommand{\isasymand}{\emph{$\wedge$}}
    1.44 -\newcommand{\isasymor}{\emph{$\vee$}}
    1.45 -\newcommand{\isasymforall}{\emph{$\forall\,$}}
    1.46 -\newcommand{\isasymexists}{\emph{$\exists\,$}}
    1.47 -\newcommand{\isasymAnd}{\emph{$\bigwedge\,$}}
    1.48 -\newcommand{\isasymlceil}{\emph{$\lceil$}}
    1.49 -\newcommand{\isasymrceil}{\emph{$\rceil$}}
    1.50 -\newcommand{\isasymlfloor}{\emph{$\lfloor$}}
    1.51 -\newcommand{\isasymrfloor}{\emph{$\rfloor$}}
    1.52 -\newcommand{\isasymturnstile}{\emph{$\vdash$}}
    1.53 -\newcommand{\isasymTurnstile}{\emph{$\models$}}
    1.54 -\newcommand{\isasymlbrakk}{\emph{$\mathopen{\lbrack\mkern-3mu\lbrack}$}}
    1.55 -\newcommand{\isasymrbrakk}{\emph{$\mathclose{\rbrack\mkern-3mu\rbrack}$}}
    1.56 -\newcommand{\isasymcdot}{\emph{$\cdot$}}
    1.57 -\newcommand{\isasymin}{\emph{$\in$}}
    1.58 -\newcommand{\isasymsubseteq}{\emph{$\subseteq$}}
    1.59 -\newcommand{\isasyminter}{\emph{$\cap$}}
    1.60 -\newcommand{\isasymunion}{\emph{$\cup$}}
    1.61 -\newcommand{\isasymInter}{\emph{$\bigcap\,$}}
    1.62 -\newcommand{\isasymUnion}{\emph{$\bigcup\,$}}
    1.63 -\newcommand{\isasymsqinter}{\emph{$\sqcap$}}
    1.64 -\newcommand{\isasymsqunion}{\emph{$\sqcup$}}
    1.65 -\newcommand{\isasymSqinter}{\emph{$\bigsqcap\,$}}  %requires stmaryrd
    1.66 -\newcommand{\isasymSqunion}{\emph{$\bigsqcup\,$}}
    1.67 -\newcommand{\isasymbottom}{\emph{$\bot$}}
    1.68 -\newcommand{\isasymdoteq}{\emph{$\doteq$}}
    1.69 -\newcommand{\isasymequiv}{\emph{$\equiv$}}
    1.70 -\newcommand{\isasymnoteq}{\emph{$\not=$}}
    1.71 -\newcommand{\isasymsqsubset}{\emph{$\sqsubset$}}
    1.72 -\newcommand{\isasymsqsubseteq}{\emph{$\sqsubseteq$}}
    1.73 -\newcommand{\isasymprec}{\emph{$\prec$}}
    1.74 -\newcommand{\isasympreceq}{\emph{$\preceq$}}
    1.75 -\newcommand{\isasymsucc}{\emph{$\succ$}}
    1.76 -\newcommand{\isasymapprox}{\emph{$\approx$}}
    1.77 -\newcommand{\isasymsim}{\emph{$\sim$}}
    1.78 -\newcommand{\isasymsimeq}{\emph{$\simeq$}}
    1.79 -\newcommand{\isasymle}{\emph{$\le$}}
    1.80 -\newcommand{\isasymColon}{\emph{$\mathrel{::}$}}
    1.81 -\newcommand{\isasymleftarrow}{\emph{$\leftarrow$}}
    1.82 -\newcommand{\isasymmidarrow}{\emph{$\relbar$}}
    1.83 -\newcommand{\isasymrightarrow}{\emph{$\rightarrow$}}
    1.84 -\newcommand{\isasymLeftarrow}{\emph{$\Leftarrow$}}
    1.85 -\newcommand{\isasymMidarrow}{\emph{$\Relbar$}}
    1.86 -\newcommand{\isasymRightarrow}{\emph{$\Rightarrow$}}
    1.87 -\newcommand{\isasymfrown}{\emph{$\frown$}}
    1.88 -\newcommand{\isasymmapsto}{\emph{$\mapsto$}}
    1.89 -\newcommand{\isasymleadsto}{\emph{$\leadsto$}}  %requires latexsym
    1.90 -\newcommand{\isasymup}{\emph{$\uparrow$}}
    1.91 -\newcommand{\isasymdown}{\emph{$\downarrow$}}
    1.92 -\newcommand{\isasymnotin}{\emph{$\notin$}}
    1.93 -\newcommand{\isasymtimes}{\emph{$\times$}}
    1.94 -\newcommand{\isasymoplus}{\emph{$\oplus$}}
    1.95 -\newcommand{\isasymominus}{\emph{$\ominus$}}
    1.96 -\newcommand{\isasymotimes}{\emph{$\otimes$}}
    1.97 -\newcommand{\isasymoslash}{\emph{$\oslash$}}
    1.98 -\newcommand{\isasymsubset}{\emph{$\subset$}}
    1.99 -\newcommand{\isasyminfinity}{\emph{$\infty$}}
   1.100 -\newcommand{\isasymbox}{\emph{$\Box$}}  %requires latexsym
   1.101 -\newcommand{\isasymdiamond}{\emph{$\Diamond$}}  %requires latexsym
   1.102 -\newcommand{\isasymcirc}{\emph{$\circ$}}
   1.103 -\newcommand{\isasymbullet}{\emph{$\bullet$}}
   1.104 -\newcommand{\isasymparallel}{\emph{$\parallel$}}
   1.105 -\newcommand{\isasymsurd}{\emph{$\surd$}}
   1.106 -\newcommand{\isasymcopyright}{\emph{\copyright}}
   1.107 -\newcommand{\isasymplusminus}{\emph{$\pm$}}
   1.108 -\newcommand{\isasymdiv}{\emph{$\div$}}
   1.109 -\newcommand{\isasymlongrightarrow}{\emph{$\longrightarrow$}}
   1.110 -\newcommand{\isasymlongleftarrow}{\emph{$\longleftarrow$}}
   1.111 -\newcommand{\isasymlongleftrightarrow}{\emph{$\longleftrightarrow$}}
   1.112 -\newcommand{\isasymLongrightarrow}{\emph{$\Longrightarrow$}}
   1.113 -\newcommand{\isasymLongleftarrow}{\emph{$\Longleftarrow$}}
   1.114 -\newcommand{\isasymLongleftrightarrow}{\emph{$\Longleftrightarrow$}}
   1.115 -\newcommand{\isasymbar}{\emph{$\mid$}}
   1.116 -\newcommand{\isasymhyphen}{\emph{\rm-}}
   1.117 -\newcommand{\isasymmacron}{\emph{\rm\=\relax}}
   1.118 -\newcommand{\isasymexclamdown}{\emph{\rm\textexclamdown}}
   1.119 -\newcommand{\isasymquestiondown}{\emph{\rm\textquestiondown}}
   1.120 -\newcommand{\isasymguillemotleft}{\emph{\flqq}}  %requires babel
   1.121 -\newcommand{\isasymguillemotright}{\emph{\frqq}}  %requires babel
   1.122 -\newcommand{\isasymdegree}{\emph{\rm\textdegree}}  %requires latin1
   1.123 -\newcommand{\isasymonesuperior}{\emph{$\mathonesuperior$}}  %requires latin1
   1.124 -\newcommand{\isasymonequarter}{\emph{\rm\textonequarter}}  %requires latin1
   1.125 -\newcommand{\isasymtwosuperior}{\emph{$\mathtwosuperior$}}  %requires latin1
   1.126 -\newcommand{\isasymonehalf}{\emph{\rm\textonehalf}}  %requires latin1
   1.127 -\newcommand{\isasymthreesuperior}{\emph{$\maththreesuperior$}}  %requires latin1
   1.128 -\newcommand{\isasymthreequarters}{\emph{\rm\textthreequarters}}  %requires latin1
   1.129 -\newcommand{\isasymparagraph}{\emph{\P}}
   1.130 -\newcommand{\isasymregistered}{\emph{\rm\textregistered}}
   1.131 -\newcommand{\isasymordfeminine}{\emph{\rm\textordfeminine}}
   1.132 -\newcommand{\isasymordmasculine}{\emph{\rm\textordmasculine}}
   1.133 -\newcommand{\isasymsection}{\emph{\S}}
   1.134 -\newcommand{\isasympounds}{\emph{$\pounds$}}
   1.135 -\newcommand{\isasymyen}{\emph{\yen}}  %requires amssymb
   1.136 -\newcommand{\isasymcent}{\emph{\cent}}  %requires wasysym
   1.137 -\newcommand{\isasymcurrency}{\emph{\currency}}  %requires wasysym
   1.138 -\newcommand{\isasymlbrace}{\emph{$\mathopen{\lbrace\mkern-4.5mu\mid}$}}
   1.139 -\newcommand{\isasymrbrace}{\emph{$\mathclose{\mid\mkern-4.5mu\rbrace}$}}
   1.140 -\newcommand{\isasymtop}{\emph{$\top$}}
   1.141 -\newcommand{\isasymcong}{\emph{$\cong$}}
   1.142 -\newcommand{\isasymclubsuit}{\emph{$\clubsuit$}}
   1.143 -\newcommand{\isasymdiamondsuit}{\emph{$\diamondsuit$}}
   1.144 -\newcommand{\isasymheartsuit}{\emph{$\heartsuit$}}
   1.145 -\newcommand{\isasymspadesuit}{\emph{$\spadesuit$}}
   1.146 -\newcommand{\isasymleftrightarrow}{\emph{$\leftrightarrow$}}
   1.147 -\newcommand{\isasymge}{\emph{$\ge$}}
   1.148 -\newcommand{\isasympropto}{\emph{$\propto$}}
   1.149 -\newcommand{\isasympartial}{\emph{$\partial$}}
   1.150 -\newcommand{\isasymdots}{\emph{$\dots$}}
   1.151 -\newcommand{\isasymaleph}{\emph{$\aleph$}}
   1.152 -\newcommand{\isasymIm}{\emph{$\Im$}}
   1.153 -\newcommand{\isasymRe}{\emph{$\Re$}}
   1.154 -\newcommand{\isasymwp}{\emph{$\wp$}}
   1.155 -\newcommand{\isasymemptyset}{\emph{$\emptyset$}}
   1.156 -\newcommand{\isasymangle}{\emph{$\angle$}}
   1.157 -\newcommand{\isasymnabla}{\emph{$\nabla$}}
   1.158 -\newcommand{\isasymProd}{\emph{$\prod\,$}}
   1.159 -\newcommand{\isasymLeftrightarrow}{\emph{$\Leftrightarrow$}}
   1.160 -\newcommand{\isasymUparrow}{\emph{$\Uparrow$}}
   1.161 -\newcommand{\isasymDownarrow}{\emph{$\Downarrow$}}
   1.162 -\newcommand{\isasymlozenge}{\emph{$\lozenge$}}  %requires amssym
   1.163 -\newcommand{\isasymlangle}{\emph{$\langle$}}
   1.164 -\newcommand{\isasymrangle}{\emph{$\rangle$}}
   1.165 -\newcommand{\isasymSum}{\emph{$\sum\,$}}
   1.166 -\newcommand{\isasymintegral}{\emph{$\int\,$}}
   1.167 -\newcommand{\isasymdagger}{\emph{$\dagger$}}
   1.168 -\newcommand{\isasymsharp}{\emph{$\sharp$}}
   1.169 -\newcommand{\isasymstar}{\emph{$\star$}}
   1.170 -\newcommand{\isasymtriangleright}{\emph{$\triangleright$}}
   1.171 -\newcommand{\isasymlhd}{\emph{$\lhd$}}
   1.172 -\newcommand{\isasymtriangle}{\emph{$\triangle$}}
   1.173 -\newcommand{\isasymrhd}{\emph{$\rhd$}}
   1.174 -\newcommand{\isasymunlhd}{\emph{$\unlhd$}}
   1.175 -\newcommand{\isasymunrhd}{\emph{$\unrhd$}}
   1.176 -\newcommand{\isasymtriangleleft}{\emph{$\triangleleft$}}
   1.177 -\newcommand{\isasymnatural}{\emph{$\natural$}}
   1.178 -\newcommand{\isasymflat}{\emph{$\flat$}}
   1.179 -\newcommand{\isasymamalg}{\emph{$\amalg$}}
   1.180 -\newcommand{\isasymmho}{\emph{$\mho$}}  %requires latexsym
   1.181 -\newcommand{\isasymupdownarrow}{\emph{$\updownarrow$}}
   1.182 -\newcommand{\isasymlongmapsto}{\emph{$\longmapsto$}}
   1.183 -\newcommand{\isasymUpdownarrow}{\emph{$\Updownarrow$}}
   1.184 -\newcommand{\isasymhookleftarrow}{\emph{$\hookleftarrow$}}
   1.185 -\newcommand{\isasymhookrightarrow}{\emph{$\hookrightarrow$}}
   1.186 -\newcommand{\isasymrightleftharpoons}{\emph{$\rightleftharpoons$}}
   1.187 -\newcommand{\isasymleftharpoondown}{\emph{$\leftharpoondown$}}
   1.188 -\newcommand{\isasymrightharpoondown}{\emph{$\rightharpoondown$}}
   1.189 -\newcommand{\isasymleftharpoonup}{\emph{$\leftharpoonup$}}
   1.190 -\newcommand{\isasymrightharpoonup}{\emph{$\rightharpoonup$}}
   1.191 -\newcommand{\isasymasymp}{\emph{$\asymp$}}
   1.192 -\newcommand{\isasymminusplus}{\emph{$\mp$}}
   1.193 -\newcommand{\isasymbowtie}{\emph{$\bowtie$}}
   1.194 -\newcommand{\isasymcdots}{\emph{$\cdots$}}
   1.195 -\newcommand{\isasymodot}{\emph{$\odot$}}
   1.196 -\newcommand{\isasymsupset}{\emph{$\supset$}}
   1.197 -\newcommand{\isasymsupseteq}{\emph{$\supseteq$}}
   1.198 -\newcommand{\isasymsqsupset}{\emph{$\sqsupset$}}  %requires latexsym
   1.199 -\newcommand{\isasymsqsupseteq}{\emph{$\sqsupseteq$}}
   1.200 -\newcommand{\isasymll}{\emph{$\ll$}}
   1.201 -\newcommand{\isasymgg}{\emph{$\gg$}}
   1.202 -\newcommand{\isasymuplus}{\emph{$\uplus$}}
   1.203 -\newcommand{\isasymsmile}{\emph{$\smile$}}
   1.204 -\newcommand{\isasymsucceq}{\emph{$\succeq$}}
   1.205 -\newcommand{\isasymstileturn}{\emph{$\dashv$}}
   1.206 -\newcommand{\isasymOr}{\emph{$\bigvee$}}
   1.207 -\newcommand{\isasymbiguplus}{\emph{$\biguplus$}}
   1.208 -\newcommand{\isasymddagger}{\emph{$\ddagger$}}
   1.209 -\newcommand{\isasymJoin}{\emph{$\Join$}}  %requires latexsym
   1.210 -\newcommand{\isasymbool}{\emph{$\mathrm{I}\mkern-3.8mu\mathrm{B}$}}
   1.211 -\newcommand{\isasymcomplex}{\emph{$\mathrm{C}\mkern-15mu{\phantom{\mathrm{t}}\vrule}\mkern9mu$}}
   1.212 -\newcommand{\isasymnat}{\emph{$\mathrm{I}\mkern-3.8mu\mathrm{N}$}}
   1.213 -\newcommand{\isasymrat}{\emph{$\mathrm{Q}\mkern-16mu{\phantom{\mathrm{t}}\vrule}\mkern10mu$}}
   1.214 -\newcommand{\isasymreal}{\emph{$\mathrm{I}\mkern-3.8mu\mathrm{R}$}}
   1.215 -\newcommand{\isasymint}{\emph{$\mathsf{Z}\mkern-7.5mu\mathsf{Z}$}}
   1.216 -\newcommand{\isasymlesssim}{\emph{$\lesssim$}}  %requires amssymb
   1.217 -\newcommand{\isasymgreatersim}{\emph{$\gtrsim$}}  %requires amssymb
   1.218 -\newcommand{\isasymlessapprox}{\emph{$\lessapprox$}}  %requires amssymb
   1.219 -\newcommand{\isasymgreaterapprox}{\emph{$\gtrapprox$}}  %requires amssymb
   1.220 -\newcommand{\isasymtriangleq}{\emph{$\triangleq$}}  %requires amssymb
   1.221 -\newcommand{\isasymlparr}{\emph{$\mathopen{(\mkern-3mu\mid}$}}
   1.222 -\newcommand{\isasymrparr}{\emph{$\mathclose{\mid\mkern-3mu)}$}}
   1.223 +\newcommand{\isamath}[1]{\emph{$#1$}}
   1.224 +\newcommand{\isatext}[1]{\emph{#1}}
   1.225 +
   1.226 +
   1.227 +% symbol definitions
   1.228 +
   1.229 +\newcommand{\isasymspacespace}{\isamath{~~}}
   1.230 +\newcommand{\isasymGamma}{\isamath{\Gamma}}
   1.231 +\newcommand{\isasymDelta}{\isamath{\Delta}}
   1.232 +\newcommand{\isasymTheta}{\isamath{\Theta}}
   1.233 +\newcommand{\isasymLambda}{\isamath{\Lambda}}
   1.234 +\newcommand{\isasymXi}{\isamath{\Xi}}
   1.235 +\newcommand{\isasymPi}{\isamath{\Pi}}
   1.236 +\newcommand{\isasymSigma}{\isamath{\Sigma}}
   1.237 +\newcommand{\isasymUpsilon}{\isamath{\Upsilon}}
   1.238 +\newcommand{\isasymPhi}{\isamath{\Phi}}
   1.239 +\newcommand{\isasymPsi}{\isamath{\Psi}}
   1.240 +\newcommand{\isasymOmega}{\isamath{\Omega}}
   1.241 +\newcommand{\isasymalpha}{\isamath{\alpha}}
   1.242 +\newcommand{\isasymbeta}{\isamath{\beta}}
   1.243 +\newcommand{\isasymgamma}{\isamath{\gamma}}
   1.244 +\newcommand{\isasymdelta}{\isamath{\delta}}
   1.245 +\newcommand{\isasymepsilon}{\isamath{\varepsilon}}
   1.246 +\newcommand{\isasymzeta}{\isamath{\zeta}}
   1.247 +\newcommand{\isasymeta}{\isamath{\eta}}
   1.248 +\newcommand{\isasymtheta}{\isamath{\vartheta}}
   1.249 +\newcommand{\isasymiota}{\isamath{\iota}}
   1.250 +\newcommand{\isasymkappa}{\isamath{\kappa}}
   1.251 +\newcommand{\isasymlambda}{\isamath{\lambda}}
   1.252 +\newcommand{\isasymmu}{\isamath{\mu}}
   1.253 +\newcommand{\isasymnu}{\isamath{\nu}}
   1.254 +\newcommand{\isasymxi}{\isamath{\xi}}
   1.255 +\newcommand{\isasympi}{\isamath{\pi}}
   1.256 +\newcommand{\isasymrho}{\isamath{\varrho}}
   1.257 +\newcommand{\isasymsigma}{\isamath{\sigma}}
   1.258 +\newcommand{\isasymtau}{\isamath{\tau}}
   1.259 +\newcommand{\isasymupsilon}{\isamath{\upsilon}}
   1.260 +\newcommand{\isasymphi}{\isamath{\varphi}}
   1.261 +\newcommand{\isasymchi}{\isamath{\chi}}
   1.262 +\newcommand{\isasympsi}{\isamath{\psi}}
   1.263 +\newcommand{\isasymomega}{\isamath{\omega}}
   1.264 +\newcommand{\isasymnot}{\isamath{\neg}}
   1.265 +\newcommand{\isasymand}{\isamath{\wedge}}
   1.266 +\newcommand{\isasymor}{\isamath{\vee}}
   1.267 +\newcommand{\isasymforall}{\isamath{\forall\,}}
   1.268 +\newcommand{\isasymexists}{\isamath{\exists\,}}
   1.269 +\newcommand{\isasymAnd}{\isamath{\bigwedge\,}}
   1.270 +\newcommand{\isasymlceil}{\isamath{\lceil}}
   1.271 +\newcommand{\isasymrceil}{\isamath{\rceil}}
   1.272 +\newcommand{\isasymlfloor}{\isamath{\lfloor}}
   1.273 +\newcommand{\isasymrfloor}{\isamath{\rfloor}}
   1.274 +\newcommand{\isasymturnstile}{\isamath{\vdash}}
   1.275 +\newcommand{\isasymTurnstile}{\isamath{\models}}
   1.276 +\newcommand{\isasymlbrakk}{\isamath{\mathopen{\lbrack\mkern-3mu\lbrack}}}
   1.277 +\newcommand{\isasymrbrakk}{\isamath{\mathclose{\rbrack\mkern-3mu\rbrack}}}
   1.278 +\newcommand{\isasymcdot}{\isamath{\cdot}}
   1.279 +\newcommand{\isasymin}{\isamath{\in}}
   1.280 +\newcommand{\isasymsubseteq}{\isamath{\subseteq}}
   1.281 +\newcommand{\isasyminter}{\isamath{\cap}}
   1.282 +\newcommand{\isasymunion}{\isamath{\cup}}
   1.283 +\newcommand{\isasymInter}{\isamath{\bigcap\,}}
   1.284 +\newcommand{\isasymUnion}{\isamath{\bigcup\,}}
   1.285 +\newcommand{\isasymsqinter}{\isamath{\sqcap}}
   1.286 +\newcommand{\isasymsqunion}{\isamath{\sqcup}}
   1.287 +\newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}}  %requires stmaryrd
   1.288 +\newcommand{\isasymSqunion}{\isamath{\bigsqcup\,}}
   1.289 +\newcommand{\isasymbottom}{\isamath{\bot}}
   1.290 +\newcommand{\isasymdoteq}{\isamath{\doteq}}
   1.291 +\newcommand{\isasymequiv}{\isamath{\equiv}}
   1.292 +\newcommand{\isasymnoteq}{\isamath{\not=}}
   1.293 +\newcommand{\isasymsqsubset}{\isamath{\sqsubset}}
   1.294 +\newcommand{\isasymsqsubseteq}{\isamath{\sqsubseteq}}
   1.295 +\newcommand{\isasymprec}{\isamath{\prec}}
   1.296 +\newcommand{\isasympreceq}{\isamath{\preceq}}
   1.297 +\newcommand{\isasymsucc}{\isamath{\succ}}
   1.298 +\newcommand{\isasymapprox}{\isamath{\approx}}
   1.299 +\newcommand{\isasymsim}{\isamath{\sim}}
   1.300 +\newcommand{\isasymsimeq}{\isamath{\simeq}}
   1.301 +\newcommand{\isasymle}{\isamath{\le}}
   1.302 +\newcommand{\isasymColon}{\isamath{\mathrel{::}}}
   1.303 +\newcommand{\isasymleftarrow}{\isamath{\leftarrow}}
   1.304 +\newcommand{\isasymmidarrow}{\isamath{\relbar}}
   1.305 +\newcommand{\isasymrightarrow}{\isamath{\rightarrow}}
   1.306 +\newcommand{\isasymLeftarrow}{\isamath{\Leftarrow}}
   1.307 +\newcommand{\isasymMidarrow}{\isamath{\Relbar}}
   1.308 +\newcommand{\isasymRightarrow}{\isamath{\Rightarrow}}
   1.309 +\newcommand{\isasymfrown}{\isamath{\frown}}
   1.310 +\newcommand{\isasymmapsto}{\isamath{\mapsto}}
   1.311 +\newcommand{\isasymleadsto}{\isamath{\leadsto}}  %requires latexsym
   1.312 +\newcommand{\isasymup}{\isamath{\uparrow}}
   1.313 +\newcommand{\isasymdown}{\isamath{\downarrow}}
   1.314 +\newcommand{\isasymnotin}{\isamath{\notin}}
   1.315 +\newcommand{\isasymtimes}{\isamath{\times}}
   1.316 +\newcommand{\isasymoplus}{\isamath{\oplus}}
   1.317 +\newcommand{\isasymominus}{\isamath{\ominus}}
   1.318 +\newcommand{\isasymotimes}{\isamath{\otimes}}
   1.319 +\newcommand{\isasymoslash}{\isamath{\oslash}}
   1.320 +\newcommand{\isasymsubset}{\isamath{\subset}}
   1.321 +\newcommand{\isasyminfinity}{\isamath{\infty}}
   1.322 +\newcommand{\isasymbox}{\isamath{\Box}}  %requires latexsym
   1.323 +\newcommand{\isasymdiamond}{\isamath{\Diamond}}  %requires latexsym
   1.324 +\newcommand{\isasymcirc}{\isamath{\circ}}
   1.325 +\newcommand{\isasymbullet}{\isamath{\bullet}}
   1.326 +\newcommand{\isasymparallel}{\isamath{\parallel}}
   1.327 +\newcommand{\isasymsurd}{\isamath{\surd}}
   1.328 +\newcommand{\isasymcopyright}{\isatext{\copyright}}
   1.329 +\newcommand{\isasymplusminus}{\isamath{\pm}}
   1.330 +\newcommand{\isasymdiv}{\isamath{\div}}
   1.331 +\newcommand{\isasymlongrightarrow}{\isamath{\longrightarrow}}
   1.332 +\newcommand{\isasymlongleftarrow}{\isamath{\longleftarrow}}
   1.333 +\newcommand{\isasymlongleftrightarrow}{\isamath{\longleftrightarrow}}
   1.334 +\newcommand{\isasymLongrightarrow}{\isamath{\Longrightarrow}}
   1.335 +\newcommand{\isasymLongleftarrow}{\isamath{\Longleftarrow}}
   1.336 +\newcommand{\isasymLongleftrightarrow}{\isamath{\Longleftrightarrow}}
   1.337 +\newcommand{\isasymbar}{\isamath{\mid}}
   1.338 +\newcommand{\isasymhyphen}{\isatext{\rm-}}
   1.339 +\newcommand{\isasymmacron}{\isatext{\rm\=\relax}}
   1.340 +\newcommand{\isasymexclamdown}{\isatext{\rm\textexclamdown}}
   1.341 +\newcommand{\isasymquestiondown}{\isatext{\rm\textquestiondown}}
   1.342 +\newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel
   1.343 +\newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel
   1.344 +\newcommand{\isasymdegree}{\isatext{\rm\textdegree}}  %requires latin1
   1.345 +\newcommand{\isasymonesuperior}{\isamath{\mathonesuperior}}  %requires latin1
   1.346 +\newcommand{\isasymonequarter}{\isatext{\rm\textonequarter}}  %requires latin1
   1.347 +\newcommand{\isasymtwosuperior}{\isamath{\mathtwosuperior}}  %requires latin1
   1.348 +\newcommand{\isasymonehalf}{\isatext{\rm\textonehalf}}  %requires latin1
   1.349 +\newcommand{\isasymthreesuperior}{\isamath{\maththreesuperior}}  %requires latin1
   1.350 +\newcommand{\isasymthreequarters}{\isatext{\rm\textthreequarters}}  %requires latin1
   1.351 +\newcommand{\isasymparagraph}{\isatext{\P}}
   1.352 +\newcommand{\isasymregistered}{\isatext{\rm\textregistered}}
   1.353 +\newcommand{\isasymordfeminine}{\isatext{\rm\textordfeminine}}
   1.354 +\newcommand{\isasymordmasculine}{\isatext{\rm\textordmasculine}}
   1.355 +\newcommand{\isasymsection}{\isatext{\S}}
   1.356 +\newcommand{\isasympounds}{\isamath{\pounds}}
   1.357 +\newcommand{\isasymyen}{\isatext{\yen}}  %requires amssymb
   1.358 +\newcommand{\isasymcent}{\isatext{\cent}}  %requires wasysym
   1.359 +\newcommand{\isasymcurrency}{\isatext{\currency}}  %requires wasysym
   1.360 +\newcommand{\isasymlbrace}{\isamath{\mathopen{\lbrace\mkern-4.5mu\mid}}}
   1.361 +\newcommand{\isasymrbrace}{\isamath{\mathclose{\mid\mkern-4.5mu\rbrace}}}
   1.362 +\newcommand{\isasymtop}{\isamath{\top}}
   1.363 +\newcommand{\isasymcong}{\isamath{\cong}}
   1.364 +\newcommand{\isasymclubsuit}{\isamath{\clubsuit}}
   1.365 +\newcommand{\isasymdiamondsuit}{\isamath{\diamondsuit}}
   1.366 +\newcommand{\isasymheartsuit}{\isamath{\heartsuit}}
   1.367 +\newcommand{\isasymspadesuit}{\isamath{\spadesuit}}
   1.368 +\newcommand{\isasymleftrightarrow}{\isamath{\leftrightarrow}}
   1.369 +\newcommand{\isasymge}{\isamath{\ge}}
   1.370 +\newcommand{\isasympropto}{\isamath{\propto}}
   1.371 +\newcommand{\isasympartial}{\isamath{\partial}}
   1.372 +\newcommand{\isasymdots}{\isamath{\dots}}
   1.373 +\newcommand{\isasymaleph}{\isamath{\aleph}}
   1.374 +\newcommand{\isasymIm}{\isamath{\Im}}
   1.375 +\newcommand{\isasymRe}{\isamath{\Re}}
   1.376 +\newcommand{\isasymwp}{\isamath{\wp}}
   1.377 +\newcommand{\isasymemptyset}{\isamath{\emptyset}}
   1.378 +\newcommand{\isasymangle}{\isamath{\angle}}
   1.379 +\newcommand{\isasymnabla}{\isamath{\nabla}}
   1.380 +\newcommand{\isasymProd}{\isamath{\prod\,}}
   1.381 +\newcommand{\isasymLeftrightarrow}{\isamath{\Leftrightarrow}}
   1.382 +\newcommand{\isasymUparrow}{\isamath{\Uparrow}}
   1.383 +\newcommand{\isasymDownarrow}{\isamath{\Downarrow}}
   1.384 +\newcommand{\isasymlozenge}{\isamath{\lozenge}}  %requires amssym
   1.385 +\newcommand{\isasymlangle}{\isamath{\langle}}
   1.386 +\newcommand{\isasymrangle}{\isamath{\rangle}}
   1.387 +\newcommand{\isasymSum}{\isamath{\sum\,}}
   1.388 +\newcommand{\isasymintegral}{\isamath{\int\,}}
   1.389 +\newcommand{\isasymdagger}{\isamath{\dagger}}
   1.390 +\newcommand{\isasymsharp}{\isamath{\sharp}}
   1.391 +\newcommand{\isasymstar}{\isamath{\star}}
   1.392 +\newcommand{\isasymtriangleright}{\isamath{\triangleright}}
   1.393 +\newcommand{\isasymlhd}{\isamath{\lhd}}
   1.394 +\newcommand{\isasymtriangle}{\isamath{\triangle}}
   1.395 +\newcommand{\isasymrhd}{\isamath{\rhd}}
   1.396 +\newcommand{\isasymunlhd}{\isamath{\unlhd}}
   1.397 +\newcommand{\isasymunrhd}{\isamath{\unrhd}}
   1.398 +\newcommand{\isasymtriangleleft}{\isamath{\triangleleft}}
   1.399 +\newcommand{\isasymnatural}{\isamath{\natural}}
   1.400 +\newcommand{\isasymflat}{\isamath{\flat}}
   1.401 +\newcommand{\isasymamalg}{\isamath{\amalg}}
   1.402 +\newcommand{\isasymmho}{\isamath{\mho}}  %requires latexsym
   1.403 +\newcommand{\isasymupdownarrow}{\isamath{\updownarrow}}
   1.404 +\newcommand{\isasymlongmapsto}{\isamath{\longmapsto}}
   1.405 +\newcommand{\isasymUpdownarrow}{\isamath{\Updownarrow}}
   1.406 +\newcommand{\isasymhookleftarrow}{\isamath{\hookleftarrow}}
   1.407 +\newcommand{\isasymhookrightarrow}{\isamath{\hookrightarrow}}
   1.408 +\newcommand{\isasymrightleftharpoons}{\isamath{\rightleftharpoons}}
   1.409 +\newcommand{\isasymleftharpoondown}{\isamath{\leftharpoondown}}
   1.410 +\newcommand{\isasymrightharpoondown}{\isamath{\rightharpoondown}}
   1.411 +\newcommand{\isasymleftharpoonup}{\isamath{\leftharpoonup}}
   1.412 +\newcommand{\isasymrightharpoonup}{\isamath{\rightharpoonup}}
   1.413 +\newcommand{\isasymasymp}{\isamath{\asymp}}
   1.414 +\newcommand{\isasymminusplus}{\isamath{\mp}}
   1.415 +\newcommand{\isasymbowtie}{\isamath{\bowtie}}
   1.416 +\newcommand{\isasymcdots}{\isamath{\cdots}}
   1.417 +\newcommand{\isasymodot}{\isamath{\odot}}
   1.418 +\newcommand{\isasymsupset}{\isamath{\supset}}
   1.419 +\newcommand{\isasymsupseteq}{\isamath{\supseteq}}
   1.420 +\newcommand{\isasymsqsupset}{\isamath{\sqsupset}}  %requires latexsym
   1.421 +\newcommand{\isasymsqsupseteq}{\isamath{\sqsupseteq}}
   1.422 +\newcommand{\isasymll}{\isamath{\ll}}
   1.423 +\newcommand{\isasymgg}{\isamath{\gg}}
   1.424 +\newcommand{\isasymuplus}{\isamath{\uplus}}
   1.425 +\newcommand{\isasymsmile}{\isamath{\smile}}
   1.426 +\newcommand{\isasymsucceq}{\isamath{\succeq}}
   1.427 +\newcommand{\isasymstileturn}{\isamath{\dashv}}
   1.428 +\newcommand{\isasymOr}{\isamath{\bigvee}}
   1.429 +\newcommand{\isasymbiguplus}{\isamath{\biguplus}}
   1.430 +\newcommand{\isasymddagger}{\isamath{\ddagger}}
   1.431 +\newcommand{\isasymJoin}{\isamath{\Join}}  %requires latexsym
   1.432 +\newcommand{\isasymbool}{\isamath{\mathrm{I}\mkern-3.8mu\mathrm{B}}}
   1.433 +\newcommand{\isasymcomplex}{\isamath{\mathrm{C}\mkern-15mu{\phantom{\mathrm{t}}\vrule}\mkern9mu}}
   1.434 +\newcommand{\isasymnat}{\isamath{\mathrm{I}\mkern-3.8mu\mathrm{N}}}
   1.435 +\newcommand{\isasymrat}{\isamath{\mathrm{Q}\mkern-16mu{\phantom{\mathrm{t}}\vrule}\mkern10mu}}
   1.436 +\newcommand{\isasymreal}{\isamath{\mathrm{I}\mkern-3.8mu\mathrm{R}}}
   1.437 +\newcommand{\isasymint}{\isamath{\mathsf{Z}\mkern-7.5mu\mathsf{Z}}}
   1.438 +\newcommand{\isasymlesssim}{\isamath{\lesssim}}  %requires amssymb
   1.439 +\newcommand{\isasymgreatersim}{\isamath{\gtrsim}}  %requires amssymb
   1.440 +\newcommand{\isasymlessapprox}{\isamath{\lessapprox}}  %requires amssymb
   1.441 +\newcommand{\isasymgreaterapprox}{\isamath{\gtrapprox}}  %requires amssymb
   1.442 +\newcommand{\isasymtriangleq}{\isamath{\triangleq}}  %requires amssymb
   1.443 +\newcommand{\isasymlparr}{\isamath{\mathopen{(\mkern-3mu\mid}}}
   1.444 +\newcommand{\isasymrparr}{\isamath{\mathclose{\mid\mkern-3mu)}}}