06ae79322a
Use Nathan Weizenbaum's "cleanup" branch of Maruku. There were a few evident problems with his branch, so please report any anomalies you see.
262 lines
13 KiB
XML
262 lines
13 KiB
XML
<!-- A conversion chart for html elements, courtesy of text2html -->
|
|
<chars>
|
|
<char num='913' name='Alpha' convertTo='$A$' />
|
|
<char num='914' name='Beta' convertTo='$B$' />
|
|
<char num='915' name='Gamma' convertTo='$\Gamma$' />
|
|
<char num='916' name='Delta' convertTo='$\Delta$' />
|
|
<char num='917' name='Epsilon' convertTo='$E$' />
|
|
<char num='918' name='Zeta' convertTo='$Z$' />
|
|
<char num='919' name='Eta' convertTo='$H$' />
|
|
<char num='920' name='Theta' convertTo='$\Theta$' />
|
|
<char num='921' name='Iota' convertTo='$I$' />
|
|
<char num='922' name='Kappa' convertTo='$K$' />
|
|
<char num='923' name='Lambda' convertTo='$\Lambda$' />
|
|
<char num='924' name='Mu' convertTo='$M$' />
|
|
<char num='925' name='Nu' convertTo='$N$' />
|
|
<char num='926' name='Xi' convertTo='$\Xi$' />
|
|
<char num='927' name='Omicron' convertTo='$O$' />
|
|
<char num='928' name='Pi' convertTo='$\Pi$' />
|
|
<char num='929' name='Rho' convertTo='$P$' />
|
|
<char num='931' name='Sigma' convertTo='$\Sigma$' />
|
|
<char num='932' name='Tau' convertTo='$T$' />
|
|
<char num='933' name='Upsilon' convertTo='$Y$' />
|
|
<char num='934' name='Phi' convertTo='$\Phi$' />
|
|
<char num='935' name='Chi' convertTo='$X$' />
|
|
<char num='936' name='Psi' convertTo='$\Psi$' />
|
|
<char num='937' name='Omega' convertTo='$\Omega$' />
|
|
<char num='945' name='alpha' convertTo='$\alpha$' />
|
|
<char num='946' name='beta' convertTo='$\beta$' />
|
|
<char num='947' name='gamma' convertTo='$\gamma$' />
|
|
<char num='948' name='delta' convertTo='$\delta$' />
|
|
<char num='949' name='epsilon' convertTo='$\epsilon$' />
|
|
<char num='950' name='zeta' convertTo='$\zeta$' />
|
|
<char num='951' name='eta' convertTo='$\eta$' />
|
|
<char num='952' name='theta' convertTo='$\theta$' />
|
|
<char num='953' name='iota' convertTo='$\iota$' />
|
|
<char num='954' name='kappa' convertTo='$\kappa$' />
|
|
<char num='955' name='lambda' convertTo='$\lambda$' />
|
|
<char num='956' name='mu' convertTo='$\mu$' />
|
|
|
|
<char num='957' name='nu' convertTo='$\nu$' />
|
|
<char num='958' name='xi' convertTo='$\xi$' />
|
|
<char num='959' name='omicron' convertTo='$o$' />
|
|
<char num='960' name='pi' convertTo='$\pi$' />
|
|
<char num='961' name='rho' convertTo='$\rho$' />
|
|
<char num='963' name='sigma' convertTo='$\sigma$' />
|
|
<char num='964' name='tau' convertTo='$\tau$' />
|
|
<char num='965' name='upsilon' convertTo='$\upsilon$' />
|
|
<char num='966' name='phi' convertTo='$\phi$' />
|
|
|
|
<char num='967' name='chi' convertTo='$\chi$' />
|
|
<char num='968' name='psi' convertTo='$\psi$' />
|
|
<char num='969' name='omega' convertTo='$\omega$' />
|
|
<char num='962' name='sigmaf' convertTo='$\varsigma$' />
|
|
<char num='977' name='thetasym' convertTo='$\vartheta$' />
|
|
<char num='982' name='piv' convertTo='$\varpi$' />
|
|
<char num='8230' name='hellip' convertTo='\ldots' />
|
|
<char num='8242' name='prime' convertTo='$\prime$' />
|
|
<char num='8254' name='oline' convertTo='-' />
|
|
|
|
<char num='8260' name='frasl' convertTo='/' />
|
|
<char num='8472' name='weierp' convertTo='$\wp$' />
|
|
<char num='8465' name='image' convertTo='$\Im$' />
|
|
<char num='8476' name='real' convertTo='$\Re$' />
|
|
<char num='8501' name='alefsym' convertTo='$\aleph$' />
|
|
<char num='8226' name='bull' convertTo='$\bullet$' />
|
|
<char num='8482' name='trade' convertTo='$^{\rm TM}$' /> <!-- exttrademark -->
|
|
<char num='8592' name='larr' convertTo='$\leftarrow$' />
|
|
|
|
<char num='8594' name='rarr' convertTo='$\rightarrow$' />
|
|
<char num='8593' name='uarr' convertTo='$\uparrow$' />
|
|
<char num='8595' name='darr' convertTo='$\downarrow$' />
|
|
<char num='8596' name='harr' convertTo='$\leftrightarrow$' />
|
|
<char num='8629' name='crarr' convertTo='$\hookleftarrow$' />
|
|
<char num='8657' name='uArr' convertTo='$\Uparrow$' />
|
|
<char num='8659' name='dArr' convertTo='$\Downarrow$' />
|
|
<char num='8656' name='lArr' convertTo='$\Leftarrow$' />
|
|
<char num='8658' name='rArr' convertTo='$\Rightarrow$' />
|
|
|
|
<char num='8660' name='hArr' convertTo='$\Leftrightarrow$' />
|
|
<char num='8704' name='forall' convertTo='$\forall$' />
|
|
<char num='8706' name='part' convertTo='$\partial$' />
|
|
<char num='8707' name='exist' convertTo='$\exists$' />
|
|
<char num='8709' name='empty' convertTo='$\emptyset$' />
|
|
<char num='8711' name='nabla' convertTo='$\nabla$' />
|
|
<char num='8712' name='isin' convertTo='$\in$' />
|
|
<char num='8715' name='ni' convertTo='$\ni$' />
|
|
<char num='8713' name='notin' convertTo='$\notin$' />
|
|
|
|
<char num='8721' name='sum' convertTo='$\sum$' />
|
|
<char num='8719' name='prod' convertTo='$\prod$' />
|
|
<char num='8722' name='minus' convertTo='$-$' />
|
|
<char num='8727' name='lowast' convertTo='$\ast$' />
|
|
<char num='8730' name='radic' convertTo='$\surd$' />
|
|
<char num='8733' name='prop' convertTo='$\propto$' />
|
|
<char num='8734' name='infin' convertTo='$\infty$' />
|
|
<char num='8736' name='ang' convertTo='$\angle$' />
|
|
<char num='8743' name='and' convertTo='$\wedge$' />
|
|
|
|
<char num='8744' name='or' convertTo='$\vee$' />
|
|
<char num='8745' name='cup' convertTo='$\cup$' />
|
|
<char num='8746' name='cap' convertTo='$\cap$' />
|
|
<char num='8747' name='int' convertTo='$\int$' />
|
|
<char num='8756' name='there4' convertTo='$\therefore$' package='amssymb' /> <!-- only AMS -->
|
|
<char num='8764' name='sim' convertTo='$\sim$' />
|
|
<char num='8776' name='asymp' convertTo='$\approx$' />
|
|
<char num='8773' name='cong' convertTo='$\cong$' />
|
|
|
|
<char num='8800' name='ne' convertTo='$\neq$' />
|
|
<char num='8801' name='equiv' convertTo='$\equiv$' />
|
|
<char num='8804' name='le' convertTo='$\leq$' />
|
|
<char num='8805' name='ge' convertTo='$\geq$' />
|
|
<char num='8834' name='sub' convertTo='$\subset$' />
|
|
<char num='8835' name='sup' convertTo='$\supset$' />
|
|
<!-- <char num='8838' name='sube' convertTo='$\subseteq$' />-->
|
|
<char num='8839' name='supe' convertTo='$\supseteq$' />
|
|
<!-- <char num='8836' name='nsub' convertTo='$\nsubset$' /> only AMS -->
|
|
|
|
<char num='8853' name='oplus' convertTo='$\oplus$' />
|
|
<char num='8855' name='otimes' convertTo='$\otimes$' />
|
|
<char num='8869' name='perp' convertTo='$\perp$' />
|
|
<char num='8901' name='sdot' convertTo='$\cdot$' />
|
|
<char num='8968' name='rceil' convertTo='$\rceil$' />
|
|
<char num='8969' name='lceil' convertTo='$\lceil$' />
|
|
<char num='8970' name='lfloor' convertTo='$\lfloor$' />
|
|
<char num='8971' name='rfloor' convertTo='$\rfloor$' />
|
|
<char num='9001' name='rang' convertTo='$\rangle$' />
|
|
|
|
<char num='9002' name='lang' convertTo='$\langle$' />
|
|
<char num='9674' name='loz' convertTo='$\lozenge$' package='amssymb' /> <!-- only AMS -->
|
|
<char num='9824' name='spades' convertTo='$\spadesuit$' />
|
|
<char num='9827' name='clubs' convertTo='$\clubsuit$' />
|
|
<char num='9829' name='hearts' convertTo='$\heartsuit$' />
|
|
<char num='9830' name='diams' convertTo='$\diamondsuit$' />
|
|
<char num='38' name='amp' convertTo='\@AMP' />
|
|
<!-- <char num='34' name='quot' convertTo='\@DOUBLEQUOT' /> XXX -->
|
|
<char num='34' name='quot' convertTo='"' />
|
|
<char num='39' name='apos' convertTo="'" />
|
|
<char num='169' name='copy' convertTo='\copyright' />
|
|
|
|
<char num='60' name='lt' convertTo='$@LT$' />
|
|
<char num='62' name='gt' convertTo='$@GT$' />
|
|
<char num='338' name='OElig' convertTo='\OE' />
|
|
<char num='339' name='oelig' convertTo='\oe' />
|
|
<char num='352' name='Scaron' convertTo='\v{S}' />
|
|
<char num='353' name='scaron' convertTo='\v{s}' />
|
|
<char num='376' name='Yuml' convertTo='\"Y' />
|
|
<char num='710' name='circ' convertTo='\textasciicircum' />
|
|
<char num='732' name='tilde' convertTo='\textasciitilde' />
|
|
|
|
<char num='8211' name='ndash' convertTo='--' />
|
|
<char num='8212' name='mdash' convertTo='---' />
|
|
<char num='8216' name='lsquo' convertTo='`' />
|
|
<char num='8217' name='rsquo' convertTo="'" /> <!-- XXXX -->
|
|
<char num='8220' name='ldquo' convertTo='``' />
|
|
<char num='8221' name='rdquo' convertTo="''" /> <!-- XXXX -->
|
|
<char num='8224' name='dagger' convertTo='\dag' />
|
|
<char num='8225' name='Dagger' convertTo='\ddag' />
|
|
<char num='8240' name='permil' convertTo='\permil' package='wasysym' /> <!-- wasysym package -->
|
|
|
|
<char num='8364' name='euro' convertTo='\euro' package='eurosym' /> <!-- eurosym package -->
|
|
<char num='8249' name='lsaquo' convertTo='\guilsinglleft' package='aeguill'/>
|
|
<char num='8250' name='rsaquo' convertTo='\guilsinglright' package='aeguill' />
|
|
<!-- <char num='160' name='nbsp' convertTo='\nolinebreak' />-->
|
|
<char num='160' name='nbsp' convertTo='~' />
|
|
<char num='161' name='iexcl' convertTo='\textexclamdown' />
|
|
<char num='163' name='pound' convertTo='\pounds' />
|
|
<char num='164' name='curren' convertTo='\currency' package='wasysym' /> <!-- wasysym package -->
|
|
<char num='165' name='yen' convertTo='\textyen' package='textcomp'/> <!-- textcomp -->
|
|
|
|
<char num='166' name='brvbar' convertTo='\brokenvert' /> <!-- wasysym -->
|
|
<char num='167' name='sect' convertTo='\S' />
|
|
<char num='171' name='laquo' convertTo='\guillemotleft' package='aeguill'/>
|
|
<char num='187' name='raquo' convertTo='\guillemotright' package='aeguill'/>
|
|
<char num='174' name='reg' convertTo='\textregistered' />
|
|
<char num='170' name='ordf' convertTo='\textordfeminine' />
|
|
<char num='172' name='not' convertTo='$\neg$' />
|
|
<!-- <char num='176' name='deg' convertTo='$\degree$' /> mathabx -->
|
|
<char num='176' name='deg' convertTo='\textdegree' package='textcomp'/>
|
|
|
|
<char num='177' name='plusmn' convertTo='$\pm$' />
|
|
<char num='180' name='acute' convertTo='@QUOT' />
|
|
<char num='181' name='micro' convertTo='$\mu$' />
|
|
<char num='182' name='para' convertTo='\P' />
|
|
<char num='183' name='middot' convertTo='$\cdot$' />
|
|
<char num='186' name='ordm' convertTo='\textordmasculine' />
|
|
<char num='162' name='cent' convertTo='\cent' package='wasysym' />
|
|
<char num='185' name='sup1' convertTo='$^1$' />
|
|
|
|
<char num='178' name='sup2' convertTo='$^2$' />
|
|
<char num='179' name='sup3' convertTo='$^3$' />
|
|
<char num='189' name='frac12' convertTo='$\frac{1}{2}$' />
|
|
<char num='188' name='frac14' convertTo='$\frac{1}{4}$' />
|
|
<char num='190' name='frac34' convertTo='$\frac{3}{4}$' />
|
|
<char num='192' name='Agrave' convertTo='\`A' />
|
|
<char num='193' name='Aacute' convertTo='\@QUOTA' />
|
|
<char num='194' name='Acirc' convertTo='\^A' />
|
|
<char num='195' name='Atilde' convertTo='\~A' />
|
|
|
|
<char num='196' name='Auml' convertTo='\@DOUBLEQUOTA' />
|
|
<char num='197' name='Aring' convertTo='\AA' />
|
|
<char num='198' name='AElig' convertTo='\AE' />
|
|
<char num='199' name='Ccedil' convertTo='\c{C}' />
|
|
<char num='200' name='Egrave' convertTo='\`E' />
|
|
<char num='201' name='Eacute' convertTo='\@QUOTE' />
|
|
<char num='202' name='Ecirc' convertTo='\^E' />
|
|
<char num='203' name='Euml' convertTo='\@DOUBLEQUOTE' />
|
|
<char num='204' name='Igrave' convertTo='\`I' />
|
|
<char num='205' name='Iacute' convertTo='\@QUOTI' />
|
|
<char num='206' name='Icirc' convertTo='\^I' />
|
|
<char num='207' name='Iuml' convertTo='\"I' />
|
|
<char num='208' name='ETH' convertTo='$\eth$' /> <!-- AMS -->
|
|
<char num='209' name='Ntilde' convertTo='\~N' />
|
|
<char num='210' name='Ograve' convertTo='\`O' />
|
|
<char num='211' name='Oacute' convertTo='\@QUOT O' />
|
|
<char num='212' name='Ocirc' convertTo='\^O' />
|
|
<char num='213' name='Otilde' convertTo='\~O' />
|
|
<char num='214' name='Ouml' convertTo='\@DOUBLEQUOTO' />
|
|
<char num='215' name='times' convertTo='$\times$' />
|
|
<char num='216' name='Oslash' convertTo='\O' />
|
|
<char num='217' name='Ugrave' convertTo='\`U' />
|
|
<char num='218' name='Uacute' convertTo='\@QUOTU' />
|
|
<char num='219' name='Ucirc' convertTo='\^U' />
|
|
<char num='220' name='Uuml' convertTo='\@DOUBLEQUOTU' />
|
|
<char num='221' name='Yacute' convertTo='\@QUOTY' />
|
|
<char num='223' name='szlig' convertTo='\ss' />
|
|
<char num='224' name='agrave' convertTo='\`a' />
|
|
<char num='225' name='aacute' convertTo='\@QUOTa' />
|
|
<char num='226' name='acirc' convertTo='\^a' />
|
|
<char num='227' name='atilde' convertTo='\~a' />
|
|
<char num='228' name='auml' convertTo='\@DOUBLEQUOTa' />
|
|
<char num='229' name='aring' convertTo='\aa' />
|
|
<char num='230' name='aelig' convertTo='\ae' />
|
|
<char num='231' name='ccedil' convertTo='\c{c}' />
|
|
<char num='232' name='egrave' convertTo='\`e' />
|
|
<char num='233' name='eacute' convertTo='\@QUOTe' />
|
|
<char num='234' name='ecirc' convertTo='\^e' />
|
|
<char num='235' name='euml' convertTo='\@DOUBLEQUOTe' />
|
|
<char num='236' name='igrave' convertTo='\`i' />
|
|
<char num='237' name='iacute' convertTo='\@QUOTi' />
|
|
<char num='238' name='icirc' convertTo='\^i' />
|
|
<char num='239' name='iuml' convertTo='\@DOUBLEQUOTi' />
|
|
<char num='240' name='eth' convertTo='$\eth$' package='amssymb'/> <!-- -->
|
|
<char num='241' name='ntilde' convertTo='\~n' />
|
|
<char num='242' name='ograve' convertTo='\`o' />
|
|
<char num='243' name='oacute' convertTo='\@QUOTo' />
|
|
<char num='244' name='ocirc' convertTo='\^o' />
|
|
<char num='245' name='otilde' convertTo='\~o' />
|
|
<char num='246' name='ouml' convertTo='\@DOUBLEQUOTo' />
|
|
<!-- <char num='247' name='divide' convertTo='$\divide$' /> -->
|
|
<char num='248' name='oslash' convertTo='\o' />
|
|
<char num='249' name='ugrave' convertTo='\`u' />
|
|
<char num='250' name='uacute' convertTo='\@QUOTu' />
|
|
<char num='251' name='ucirc' convertTo='\^u' />
|
|
<char num='252' name='uuml' convertTo='\@DOUBLEQUOTu' />
|
|
<char num='253' name='yacute' convertTo='\@QUOTy' />
|
|
|
|
<char num='255' name='yuml' convertTo='\@DOUBLEQUOTy' />
|
|
|
|
<char num='222' name='THORN' convertTo='\Thorn' package='wasysym' />
|
|
<char num='254' name='thorn' convertTo='\thorn' package='wasysym' />
|
|
</chars>
|