%%% ==================================================================== %%% @TeX-font-encoding-file{ %%% author = "Alan Jeffrey and Ulrik Vieth and %%% Lars Hellstr{\"o}m", %%% version = "1.928", %%% date = "2004-11-30", %%% time = "14:45:29 +01:00", %%% filename = "oms.etx", %%% email = "fontinst@tug.org", %%% URL = "http://www.tug.org/applications/fontinst/index.html", %%% checksum = "", %%% codetable = "ISO/ASCII", %%% keywords = "encoding, math, TeX, PostScript", %%% supported = "yes", %%% abstract = "This is (an incomplete) specification of the %%% old math symbol encoding as a TeX font encoding %%% file, for use with the fontinst utility.", %%% package = "fontinst", %%% dependencies = "fontinst.sty, fontdoc.sty", %%% } %%% ==================================================================== \relax \documentclass[twocolumn]{article} \usepackage[specification]{fontdoc}[2004/11/24] \title{The \TeX\ math symbol encoding vector} \author{Alan Jeffrey\and Ulrik Vieth\and Lars Hellstr\"om} \date{24 November 2004\\Version 1.928} \begin{document} \maketitle \section{Introduction} This document describes the \TeX\ math symbol (OMS) encoding. \emph{Or rather, it describes part of that encoding---a part which includes some characters beyond the Basic Multilingual Plane. The primary purpose of creating this file was to test that case of the ETX-to-CMap converter.} \showbranches \encoding \needsfontinstversion{1.928} \begincomment \section{Ordinary characters} There are 128 ordinary characters in this encoding. \endcomment \begincomment \subsection{Operations} \endcomment \nextslot{0} \setslot{minus} \Unicode{2212}{MINUS SIGN} \endsetslot \setslot{periodcentered} \Unicode{22C5}{DOT OPERATOR} \comment{This is called `\texttt{dotmath}' in Adobe Symbol.} \endsetslot \setslot{multiply} \Unicode{00D7}{MULTIPLICATION SIGN} \endsetslot \setslot{asteriskmath} \Unicode{2217}{ASTERISK OPERATOR} \endsetslot \setslot{divide} \Unicode{00F7}{DIVISION SIGN} \endsetslot \setslot{diamondmath} \Unicode{22C4}{DIAMOND OPERATOR} \endsetslot \setslot{plusminus} \Unicode{00B1}{PLUS-MINUS SIGN} \endsetslot \setslot{minusplus} \Unicode{2213}{MINUS-OR-PLUS SIGN} \endsetslot \setslot{circleplus} \Unicode{2295}{CIRCLED PLUS} \endsetslot \setslot{circleminus} \Unicode{2296}{CIRCLED MINUS} \endsetslot \setslot{circlemultiply} \Unicode{2297}{CIRCLED TIMES} \endsetslot \setslot{circledivide} \Unicode{2298}{CIRCLED DIVISION SLASH} \endsetslot \setslot{circledot} \Unicode{2299}{CIRCLED DOT OPERATOR} \endsetslot \setslot{circlecopyrt} \Unicode{25CB}{WHITE CIRCLE} \Unicode{20DD}{COMBINING ENCLOSING CIRCLE} \comment{The large circle symbol `$\bigcirc$', also used for building the copyright symbol `\copyright'.} \endsetslot \setslot{openbullet} \Unicode{2218}{RING OPERATOR} \endsetslot \setslot{bullet} \Unicode{2219}{BULLET OPERATOR} \endsetslot \begincomment \subsection{Calligraphic alphabet} \endcomment \nextslot{65} \setslot{A} \Unicode{1D49C}{MATHEMATICAL SCRIPT CAPITAL A} \endsetslot \setslot{B} \Unicode{212C}{SCRIPT CAPITAL B} \endsetslot \setslot{C} \Unicode{1D49E}{MATHEMATICAL SCRIPT CAPITAL C} \endsetslot \setslot{D} \Unicode{1D49F}{MATHEMATICAL SCRIPT CAPITAL D} \endsetslot \setslot{E} \Unicode{2130}{SCRIPT CAPITAL E} \endsetslot \setslot{F} \Unicode{2131}{SCRIPT CAPITAL F} \endsetslot \setslot{G} \Unicode{1D4A2}{MATHEMATICAL SCRIPT CAPITAL G} \endsetslot \setslot{H} \Unicode{210B}{SCRIPT CAPITAL H} \endsetslot \setslot{I} \Unicode{2110}{SCRIPT CAPITAL I} \endsetslot \setslot{J} \Unicode{1D4A5}{MATHEMATICAL SCRIPT CAPITAL J} \endsetslot \setslot{K} \Unicode{1D4A6}{MATHEMATICAL SCRIPT CAPITAL K} \endsetslot \setslot{L} \Unicode{2112}{SCRIPT CAPITAL L} \endsetslot \setslot{M} \Unicode{2133}{SCRIPT CAPITAL M} \endsetslot \setslot{N} \Unicode{1D4A9}{MATHEMATICAL SCRIPT CAPITAL N} \endsetslot \setslot{O} \Unicode{1D4AA}{MATHEMATICAL SCRIPT CAPITAL O} \endsetslot \setslot{P} \Unicode{1D4AB}{MATHEMATICAL SCRIPT CAPITAL P} \endsetslot \setslot{Q} \Unicode{1D4AC}{MATHEMATICAL SCRIPT CAPITAL Q} \endsetslot \setslot{R} \Unicode{211B}{SCRIPT CAPITAL R} \endsetslot \setslot{S} \Unicode{1D4AE}{MATHEMATICAL SCRIPT CAPITAL S} \endsetslot \setslot{T} \Unicode{1D4AF}{MATHEMATICAL SCRIPT CAPITAL T} \endsetslot \setslot{U} \Unicode{1D4B0}{MATHEMATICAL SCRIPT CAPITAL U} \endsetslot \setslot{V} \Unicode{1D4B1}{MATHEMATICAL SCRIPT CAPITAL V} \endsetslot \setslot{W} \Unicode{1D4B2}{MATHEMATICAL SCRIPT CAPITAL W} \endsetslot \setslot{X} \Unicode{1D4B3}{MATHEMATICAL SCRIPT CAPITAL X} \endsetslot \setslot{Y} \Unicode{1D4B4}{MATHEMATICAL SCRIPT CAPITAL Y} \endsetslot \setslot{Z} \Unicode{1D4B5}{MATHEMATICAL SCRIPT CAPITAL Z} \endsetslot \begincomment \subsection{Card suits} \endcomment \nextslot{124} \setslot{club} \Unicode{2663}{BLACK CLUB SUIT} \endsetslot \setslot{diamond} \Unicode{2662}{WHITE DIAMOND SUIT} \endsetslot \setslot{heart} \Unicode{2661}{WHITE HEART SUIT} \endsetslot \setslot{spade} \Unicode{2660}{BLACK SPADE SUIT} \endsetslot \begincomment \section{Font dimensions} \endcomment \setfontdimen{1}{italicslant} % italic slant \setfontdimen{2}{interword} % interword space \setfontdimen{3}{stretchword} % interword stretch \setfontdimen{4}{shrinkword} % interword shrink \setfontdimen{5}{xheight} % x-height \setfontdimen{6}{quad} % quad \setfontdimen{7}{extraspace} % extra space after . \setfontdimen{8}{num1} % num 1 \setfontdimen{9}{num2} % num 2 \setfontdimen{10}{num3} % num 3 \setfontdimen{11}{denom1} % denom 1 \setfontdimen{12}{denom2} % denom 2 \setfontdimen{13}{sup1} % sup 1 \setfontdimen{14}{sup2} % sup 2 \setfontdimen{15}{sup3} % sup 3 \setfontdimen{16}{sub1} % sub 1 \setfontdimen{17}{sub2} % sub 2 \setfontdimen{18}{supdrop} % supdrop \setfontdimen{19}{subdrop} % subdrop \setfontdimen{20}{delim1} % delim 1 \setfontdimen{21}{delim2} % delim 2 \setfontdimen{22}{axisheight} % math axis height \begincomment \section{Default values} \endcomment \setstr{codingscheme}{TEX MATH SYMBOLS} \setstr{encodingname}{TeXMathSymbolEncoding} \endencoding \end{document} %%%%% Old stuff: \begincomment \section{The encoding} \endcomment \setslot{minus} \comment{The subtraction symbol `$-$'.} \endsetslot \setslot{periodcentered} \comment{The centered dot symbol `$\cdot$'. It is called `dotmath' in Adobe Symbol.} \endsetslot \setslot{multiply} \comment{The multiplication symbol `$\times$'.} \endsetslot \setslot{asteriskmath} \comment{The centered asterisk symbol `$*$'.} \endsetslot \setslot{divide} \comment{The division symbol `$\plaindiv$'.} \endsetslot \setslot{diamondmath} \comment{The diamond symbol `$\diamond$'.} \endsetslot \setslot{plusminus} \comment{The plus or minus symbol `$\pm$'.} \endsetslot \setslot{minusplus} \comment{The minus or plus symbol `$\mp$'.} \endsetslot \setslot{circleplus} \comment{The circled plus symbol `$\oplus$'.} \endsetslot \setslot{circleminus} \comment{The circled minus symbol `$\ominus$'.} \endsetslot \setslot{circlemultiply} \comment{The circled multiplication symbol `$\otimes$'.} \endsetslot \setslot{circledivide} \comment{The circled oblique symbol `$\oslash$'.} \endsetslot \setslot{circledot} \comment{The circled dot symbol `$\odot$'.} \endsetslot \setslot{circlecopyrt} \comment{The large circle symbol `$\bigcirc$' used for building the copyright symbol `\copyright'.} \endsetslot \setslot{openbullet} \comment{The circle symbol `$\circ$'.} \endsetslot \setslot{bullet} \comment{The bullet symbol `$\bullet$'.} \endsetslot \setslot{equivasymptotic} \comment{The asymptotic equals symbol `$\asymp$'.} \endsetslot \setslot{equivalence} \comment{The equivalence symbol `$\equiv$'.} \endsetslot \setslot{reflexsubset} \comment{The subset or equals symbol `$\subseteq$'.} \endsetslot \setslot{reflexsuperset} \comment{The superset or equals symbol `$\supseteq$'.} \endsetslot \setslot{lessequal} \comment{The less or equals symbol `$\leq$'.} \endsetslot \setslot{greaterequal} \comment{The greater or equals symbol `$\geq$'.} \endsetslot \setslot{precedesequal} \comment{The precedes or equals symbol `$\preceq$'.} \endsetslot \setslot{followsequal} \comment{The follows or equals symbol `$\succeq$'.} \endsetslot \setslot{similar} \comment{The similar symbol `$\sim$'.} \endsetslot \setslot{approxequal} \comment{The approximate equality symbol `$\approx$'.} \endsetslot \setslot{propersubset} \comment{The subset symbol `$\subset$'.} \endsetslot \setslot{propersuperset} \comment{The superset symbol `$\supset$'.} \endsetslot \setslot{lessmuch} \comment{The much less symbol `$\ll$'.} \endsetslot \setslot{greatermuch} \comment{The much greater symbol `$\gg$'.} \endsetslot \setslot{precedes} % was curlyless \comment{The precedes symbol `$\prec$'.} \endsetslot \setslot{follows} % was curlygreater \comment{The follows symbol `$\succ$'.} \endsetslot \setslot{arrowleft} \comment{The left arrow symbol `$\leftarrow$'.} \endsetslot \setslot{arrowright} \comment{The right arrow symbol `$\rightarrow$'.} \endsetslot \setslot{arrowup} \comment{The up arrow symbol `$\uparrow$'.} \endsetslot \setslot{arrowdown} \comment{The down arrow symbol `$\downarrow$'.} \endsetslot \setslot{arrowboth} \comment{The horizontal arrow symbol `$\leftrightarrow$'.} \endsetslot \setslot{arrownortheast} \comment{The north-east arrow symbol `$\nearrow$'.} \endsetslot \setslot{arrowsoutheast} \comment{The south-east arrow symbol `$\searrow$'.} \endsetslot \setslot{similarequal} \comment{The similar or equal symbol `$\simeq$'.} \endsetslot \setslot{arrowdblleft} \comment{The double left arrow symbol `$\Leftarrow$'.} \endsetslot \setslot{arrowdblright} \comment{The double right arrow symbol `$\Rightarrow$'.} \endsetslot \setslot{arrowdblup} \comment{The double up arrow symbol `$\Uparrow$'.} \endsetslot \setslot{arrowdbldown} \comment{The double down arrow symbol `$\Downarrow$'.} \endsetslot \setslot{arrowdblboth} \comment{The double horizontal arrow symbol `$\Leftrightarrow$'.} \endsetslot \setslot{arrownorthwest} \comment{The north-west arrow symbol `$\nwarrow$'.} \endsetslot \setslot{arrowsouthwest} \comment{The south-west arrow symbol `$\swarrow$'.} \endsetslot \setslot{proportional} \comment{The proportional symbol `$\propto$'.} \endsetslot \setslot{prime} \comment{The prime symbol `$\prime$'.} \endsetslot \setslot{infinity} \comment{The infinity symbol `$\infty$'.} \endsetslot \setslot{element} \comment{The set membership symbol `$\in$'.} \endsetslot \setslot{owner} \comment{The backwards set membership symbol `$\ni$'.} \endsetslot \setslot{triangle} \comment{The upwards triangle symbol `$\bigtriangleup$'.} \endsetslot \setslot{triangleinv} \comment{The downwards triangle symbol `$\bigtriangledown$'.} \endsetslot \setslot{negationslash} \comment{The negation slash symbol, used to construct negated relations or arrows such as `$\not=$'.} \endsetslot \setslot{mapstochar} \comment{The maps to building block symbol `$\mapstochar$', used to build `$\mapsto$'.} \endsetslot \setslot{universal} \comment{The universal quantification symbol `$\forall$'.} \endsetslot \setslot{existential} \comment{The existential quantification symbol `$\exists$'.} \endsetslot \setslot{logicalnot} \comment{The negation symbol `$\plainneg$'.} \endsetslot \setslot{emptysetstress} \comment{The `stressed' empty set symbol `$\emptyset$', which should look like a zero with a slash. The `emptyset' symbol is a circle with a slash.} \endsetslot \setslot{Rfraktur} \comment{The upper case Fraktur R symbol `$\Re$'. It is called `Rfractur' rather than `Rfraktur' in MathTime and Lucida New Math.} \endsetslot \setslot{Ifraktur} \comment{The upper case Fraktur I symbol `$\Im$'. It is called `Ifractur' rather than `Ifraktur' in MathTime and Lucida New Math.} \endsetslot \setslot{latticetop} \comment{The inverted perpendicular symbol `$\top$'.} \endsetslot \setslot{perpendicular} \comment{The perpendicular symbol `$\perp$'.} \endsetslot \setslot{aleph} \comment{The aleph symbol `$\aleph$'.} \endsetslot \setslot{A} \comment{The calligraphic letter `$\mathcal{A}$'.} \endsetslot \setslot{B} \comment{The calligraphic letter `$\mathcal{B}$'.} \endsetslot \setslot{C} \comment{The calligraphic letter `$\mathcal{C}$'.} \endsetslot \setslot{D} \comment{The calligraphic letter `$\mathcal{D}$'.} \endsetslot \setslot{E} \comment{The calligraphic letter `$\mathcal{E}$'.} \endsetslot \setslot{F} \comment{The calligraphic letter `$\mathcal{F}$'.} \endsetslot \setslot{G} \comment{The calligraphic letter `$\mathcal{G}$'.} \endsetslot \setslot{H} \comment{The calligraphic letter `$\mathcal{H}$'.} \endsetslot \setslot{I} \comment{The calligraphic letter `$\mathcal{I}$'.} \endsetslot \setslot{J} \comment{The calligraphic letter `$\mathcal{J}$'.} \endsetslot \setslot{K} \comment{The calligraphic letter `$\mathcal{K}$'.} \endsetslot \setslot{L} \comment{The calligraphic letter `$\mathcal{L}$'.} \endsetslot \setslot{M} \comment{The calligraphic letter `$\mathcal{M}$'.} \endsetslot \setslot{N} \comment{The calligraphic letter `$\mathcal{N}$'.} \endsetslot \setslot{O} \comment{The calligraphic letter `$\mathcal{O}$'.} \endsetslot \setslot{P} \comment{The calligraphic letter `$\mathcal{P}$'.} \endsetslot \setslot{Q} \comment{The calligraphic letter `$\mathcal{Q}$'.} \endsetslot \setslot{R} \comment{The calligraphic letter `$\mathcal{R}$'.} \endsetslot \setslot{S} \comment{The calligraphic letter `$\mathcal{S}$'.} \endsetslot \setslot{T} \comment{The calligraphic letter `$\mathcal{T}$'.} \endsetslot \setslot{U} \comment{The calligraphic letter `$\mathcal{U}$'.} \endsetslot \setslot{V} \comment{The calligraphic letter `$\mathcal{V}$'.} \endsetslot \setslot{W} \comment{The calligraphic letter `$\mathcal{W}$'.} \endsetslot \setslot{X} \comment{The calligraphic letter `$\mathcal{X}$'.} \endsetslot \setslot{Y} \comment{The calligraphic letter `$\mathcal{Y}$'.} \endsetslot \setslot{Z} \comment{The calligraphic letter `$\mathcal{Z}$'.} \endsetslot \setslot{union} \comment{The set union symbol `$\cup$'.} \endsetslot \setslot{intersection} \comment{The set intersection symbol `$\cap$'.} \endsetslot \setslot{unionmulti} \comment{The multiset union symbol `$\uplus$'.} \endsetslot \setslot{logicaland} \comment{The meet symbol `$\wedge$'.} \endsetslot \setslot{logicalor} \comment{The join symbol `$\vee$'.} \endsetslot \setslot{turnstileleft} \comment{The turnstile symbol `$\vdash$'.} \endsetslot \setslot{turnstileright} \comment{The backwards turnstile symbol `$\dashv$'.} \endsetslot \setslot{floorleft} \comment{The left floor symbol `$\lfloor$'.} \endsetslot \setslot{floorright} \comment{The right floor symbol `$\rfloor$'.} \endsetslot \setslot{ceilingleft} \comment{The left ceiling symbol `$\lceil$'.} \endsetslot \setslot{ceilingright} \comment{The right ceiling symbol `$\rceil$'.} \endsetslot \setslot{braceleft} \comment{The left brace symbol `$\{$'.} \endsetslot \setslot{braceright} \comment{The right brace symbol `$\}$'.} \endsetslot \setslot{angleleft} \comment{The left angle bracket symbol `$\langle$'. It is called `angbracketleft' in MathTime and Lucida, but `angleleft' in Adobe Symbol.} \endsetslot \setslot{angleright} \comment{The right angle bracket symbol `$\rangle$'. It is called `angbracketright' in MathTime and Lucida, but `angleleft' in Adobe Symbol.} \endsetslot \setslot{bar} \comment{The vertical bar symbol `$|$'.} \endsetslot \setslot{bardbl} \comment{The parallel vertical bars symbol `$\parallel$'.} \endsetslot \setslot{arrowbothv} \comment{The vertical arrows symbol `$\updownarrow$'.} \endsetslot \setslot{arrowdblbothv} \comment{The double vertical arrows symbol `$\Updownarrow$'.} \endsetslot \setslot{backslash} \comment{The backwards oblique symbol `$\backslash$'.} \endsetslot \setslot{wreathproduct} \comment{The Wreath product symbol `$\wp$'.} \endsetslot \setslot{radicallow} \comment{The lowered radical symbol `$\surd$'.} \endsetslot \setslot{coproduct} \comment{The textstyle coproduct symbol `$\coprod$'.} \endsetslot \setslot{gradient} \comment{The inverted Delta symbol `$\nabla$'. It is also called `gradient' in MathTime and Lucida, but `gradient' in Adobe Symbol.} \endsetslot \setslot{integral} \comment{The small integral symbol `$\plainint$'.} \endsetslot \setslot{unionsq} \comment{The square union symbol `$\sqcup$'.} \endsetslot \setslot{intersectionsq} \comment{The square intersection symbol `$\sqcap$'.} \endsetslot \setslot{subsetsqequal} \comment{The square subset or equal symbol `$\sqsubseteq$'.} \endsetslot \setslot{supersetsqequal} \comment{The square superset or equal symbol `$\sqsupseteq$'.} \endsetslot \setslot{section} \comment{The section symbol `\S'.} \endsetslot \setslot{dagger} \comment{The dagger symbol `\dag'.} \endsetslot \setslot{daggerdbl} \comment{The double dagger symbol `\ddag'.} \endsetslot \setslot{paragraph} \comment{The paragraph symbol `\P'.} \endsetslot \setslot{club} \comment{The club suit symbol `$\clubsuit$'.} \endsetslot \setslot{diamond} \comment{The diamond suit symbol `$\diamondsuit$'.} \endsetslot \setslot{heart} \comment{The heart suit symbol `$\heartsuit$'.} \endsetslot \setslot{spade} \comment{The spade suit symbol `$\spadesuit$'.} \endsetslot \endencoding \section{Changes} 29 Dec 1993, v1.30: Created file. 03 Jan 1994, v1.301: Moved from ltugboat class to article. 06 Jan 1994, v1.303: Corrected a fontdimen bug. 08 Jan 1994, v1.304: Renamed radicallowered to radicallow and perpendicularinverse to perpendicularinv. 09 Jan 1994, v1.305: Renamed emptyset to emptysetstress, to distinguish the geometric and the humanist emptyset symbols. Renamed some glyphs to use the same glyph names as Lucida New Math. 10 Jun 1998, v1.800: Really use the same names as Lucida New Math. `curlyless/greater' renamed to `precedes/follows'. 06 Oct 2000, v1.915: Introduced intermediate variables for fontdimens 8--22. Added \texttt{encodingname}. Updated markup. (LH) 27 Jul 2002, v1.921: Introduced intermediate variables also for fontdimens 1--7. Switched to setting fontdimens using \verb"\setfontdimen". (LH) 24 Nov 2004, v1.928: Changed \verb"\neg" to \verb"\plainneg" for `\texttt{logicalnot}'. (LH) \end{document}