summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/fontinst/mathetx/omx.etx
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/fontinst/mathetx/omx.etx')
-rw-r--r--Master/texmf-dist/tex/fontinst/mathetx/omx.etx731
1 files changed, 731 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/fontinst/mathetx/omx.etx b/Master/texmf-dist/tex/fontinst/mathetx/omx.etx
new file mode 100644
index 00000000000..52af52af6d9
--- /dev/null
+++ b/Master/texmf-dist/tex/fontinst/mathetx/omx.etx
@@ -0,0 +1,731 @@
+%%% ====================================================================
+%%% @TeX-font-encoding-file{
+%%% author = "Alan Jeffrey and Ulrik Vieth and
+%%% Lars Hellstr{\"o}m",
+%%% version = "1.921",
+%%% date = "2002-07-27",
+%%% time = "18:45:45 +02:00",
+%%% filename = "omx.etx",
+%%% email = "fontinst@cogs.susx.ac.uk",
+%%% URL = "http://www.tug.org/applications/fontinst/index.html",
+%%% checksum = "",
+%%% codetable = "ISO/ASCII",
+%%% keywords = "encoding, math, TeX, PostScript",
+%%% supported = "yes",
+%%% abstract = "This is the old math extension 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{fontdoc}[2001/03/16]
+
+\title{The \TeX\ math extension encoding vector}
+\author{Alan Jeffrey\and Ulrik Vieth\and Lars Hellstr\"om}
+\date{27 July 2002\\Version 1.921}
+
+\begin{document}
+\maketitle
+
+\section{Introduction}
+
+This document describes the \TeX\ math extensions (\texttt{OMX})
+encoding.
+
+\showbranches
+\setslotcomment{The glyph `$\vcenter{\hbox{\slotexample}}$'.}
+\useexamplefont{cmex10}
+\encoding
+
+\needsfontinstversion{1.917}
+
+
+\begincomment
+\section{Default values}
+\endcomment
+
+\setstr{codingscheme}{TEX MATH EXTENSION}
+\setstr{encodingname}{TeXMathExtensionEncoding}
+
+\setint{italicslant}{0}
+\setint{interword}{0}
+\setint{stretchword}{0}
+\setint{shrinkword}{0}
+\ifisglyph{x}\then
+ \setint{xheight}{\height{x}}
+\Else
+ \setint{xheight}{500}
+\Fi
+\setint{quad}{1000}
+\setint{extraspace}{0}
+
+\comment{The following defaults are taken from \texttt{cmex10}.}
+
+\setint{defaultrulethickness}{40}
+\setint{bigopspacing1}{111}
+\setint{bigopspacing2}{167}
+\setint{bigopspacing3}{200}
+\setint{bigopspacing4}{600}
+\setint{bigopspacing5}{100}
+
+
+\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}{defaultrulethickness} % default rule thickness
+\setfontdimen{9}{bigopspacing1} % bigopspacing 1
+\setfontdimen{10}{bigopspacing2} % bigopspacing 2
+\setfontdimen{11}{bigopspacing3} % bigopspacing 3
+\setfontdimen{12}{bigopspacing4} % bigopspacing 4
+\setfontdimen{13}{bigopspacing5} % bigopspacing 5
+
+
+\begincomment
+\section{The encoding}
+There are 128 glyphs in this encoding.
+\endcomment
+
+\setslot{parenleftbig}
+ \nextlarger{parenleftBig}
+\endsetslot
+
+\setslot{parenrightbig}
+ \nextlarger{parenrightBig}
+\endsetslot
+
+\setslot{bracketleftbig}
+ \nextlarger{bracketleftBig}
+\endsetslot
+
+\setslot{bracketrightbig}
+ \nextlarger{bracketrightBig}
+\endsetslot
+
+\setslot{floorleftbig}
+ \nextlarger{floorleftBig}
+\endsetslot
+
+\setslot{floorrightbig}
+ \nextlarger{floorrightBig}
+\endsetslot
+
+\setslot{ceilingleftbig}
+ \nextlarger{ceilingleftBig}
+\endsetslot
+
+\setslot{ceilingrightbig}
+ \nextlarger{ceilingrightBig}
+\endsetslot
+
+\setslot{braceleftbig}
+ \nextlarger{braceleftBig}
+\endsetslot
+
+\setslot{bracerightbig}
+ \nextlarger{bracerightBig}
+\endsetslot
+
+\setslot{angleleftbig}
+ \nextlarger{angleleftBig}
+\endsetslot
+
+\setslot{anglerightbig}
+ \nextlarger{anglerightBig}
+\endsetslot
+
+\setslot{barex}
+ \varchar
+ \varrep{barex}
+ \endvarchar
+\endsetslot
+
+\setslot{bardblex}
+ \varchar
+ \varrep{bardblex}
+ \endvarchar
+\endsetslot
+
+\setslot{slashbig}
+ \nextlarger{slashBig}
+\endsetslot
+
+\setslot{backslashbig}
+ \nextlarger{backslashBig}
+\endsetslot
+
+\setslot{parenleftBig}
+ \nextlarger{parenleftbigg}
+\endsetslot
+
+\setslot{parenrightBig}
+ \nextlarger{parenrightbigg}
+\endsetslot
+
+\setslot{parenleftbigg}
+ \nextlarger{parenleftBigg}
+\endsetslot
+
+\setslot{parenrightbigg}
+ \nextlarger{parenrightBigg}
+\endsetslot
+
+\setslot{bracketleftbigg}
+ \nextlarger{bracketleftBigg}
+\endsetslot
+
+\setslot{bracketrightbigg}
+ \nextlarger{bracketrightBigg}
+\endsetslot
+
+\setslot{floorleftbigg}
+ \nextlarger{floorleftBigg}
+\endsetslot
+
+\setslot{floorrightbigg}
+ \nextlarger{floorrightBigg}
+\endsetslot
+
+\setslot{ceilingleftbigg}
+ \nextlarger{ceilingleftBigg}
+\endsetslot
+
+\setslot{ceilingrightbigg}
+ \nextlarger{ceilingrightBigg}
+\endsetslot
+
+\setslot{braceleftbigg}
+ \nextlarger{braceleftBigg}
+\endsetslot
+
+\setslot{bracerightbigg}
+ \nextlarger{bracerightBigg}
+\endsetslot
+
+\setslot{angleleftbigg}
+ \nextlarger{angleleftBigg}
+\endsetslot
+
+\setslot{anglerightbigg}
+ \nextlarger{anglerightBigg}
+\endsetslot
+
+\setslot{slashbigg}
+ \nextlarger{slashBigg}
+\endsetslot
+
+\setslot{backslashbigg}
+ \nextlarger{backslashBigg}
+\endsetslot
+
+\setslot{parenleftBigg}
+ \nextlarger{parenlefttp}
+\endsetslot
+
+\setslot{parenrightBigg}
+ \nextlarger{parenrighttp}
+\endsetslot
+
+\setslot{bracketleftBigg}
+ \nextlarger{bracketlefttp}
+\endsetslot
+
+\setslot{bracketrightBigg}
+ \nextlarger{bracketrighttp}
+\endsetslot
+
+\setslot{floorleftBigg}
+ \nextlarger{bracketleftbt}
+\endsetslot
+
+\setslot{floorrightBigg}
+ \nextlarger{bracketrightbt}
+\endsetslot
+
+\setslot{ceilingleftBigg}
+ \nextlarger{bracketleftex}
+\endsetslot
+
+\setslot{ceilingrightBigg}
+ \nextlarger{bracketrightex}
+\endsetslot
+
+\setslot{braceleftBigg}
+ \nextlarger{bracelefttp}
+\endsetslot
+
+\setslot{bracerightBigg}
+ \nextlarger{bracerighttp}
+\endsetslot
+
+\setslot{angleleftBigg}
+\endsetslot
+
+\setslot{anglerightBigg}
+\endsetslot
+
+\setslot{slashBigg}
+\endsetslot
+
+\setslot{backslashBigg}
+\endsetslot
+
+\setslot{slashBig}
+ \nextlarger{slashbigg}
+\endsetslot
+
+\setslot{backslashBig}
+ \nextlarger{backslashbigg}
+\endsetslot
+
+\setslot{parenlefttp}
+ \varchar
+ \vartop{parenlefttp}
+ \varbot{parenleftbt}
+ \varrep{parenleftex}
+ \endvarchar
+\endsetslot
+
+\setslot{parenrighttp}
+ \varchar
+ \vartop{parenrighttp}
+ \varbot{parenrightbt}
+ \varrep{parenrightex}
+ \endvarchar
+\endsetslot
+
+\setslot{bracketlefttp}
+ \varchar
+ \vartop{bracketlefttp}
+ \varbot{bracketleftbt}
+ \varrep{bracketleftex}
+ \endvarchar
+\endsetslot
+
+\setslot{bracketrighttp}
+ \varchar
+ \vartop{bracketrighttp}
+ \varbot{bracketrightbt}
+ \varrep{bracketrightex}
+ \endvarchar
+\endsetslot
+
+\setslot{bracketleftbt}
+ \varchar
+ \varbot{bracketleftbt}
+ \varrep{bracketleftex}
+ \endvarchar
+\endsetslot
+
+\setslot{bracketrightbt}
+ \varchar
+ \varbot{bracketrightbt}
+ \varrep{bracketrightex}
+ \endvarchar
+\endsetslot
+
+\setslot{bracketleftex}
+ \varchar
+ \vartop{bracketlefttp}
+ \varrep{bracketleftex}
+ \endvarchar
+\endsetslot
+
+\setslot{bracketrightex}
+ \varchar
+ \vartop{bracketrighttp}
+ \varrep{bracketrightex}
+ \endvarchar
+\endsetslot
+
+\setslot{bracelefttp}
+ \varchar
+ \vartop{bracelefttp}
+ \varmid{braceleftmid}
+ \varbot{braceleftbt}
+ \varrep{braceex}
+ \endvarchar
+\endsetslot
+
+\setslot{bracerighttp}
+ \varchar
+ \vartop{bracerighttp}
+ \varmid{bracerightmid}
+ \varbot{bracerightbt}
+ \varrep{braceex}
+ \endvarchar
+\endsetslot
+
+\setslot{braceleftbt}
+ \varchar
+ \vartop{bracelefttp}
+ \varbot{braceleftbt}
+ \varrep{braceex}
+ \endvarchar
+\endsetslot
+
+\setslot{bracerightbt}
+ \varchar
+ \vartop{bracerighttp}
+ \varbot{bracerightbt}
+ \varrep{braceex}
+ \endvarchar
+\endsetslot
+
+\setslot{braceleftmid}
+ \varchar
+ \varrep{arrowvertex}
+ \comment{This extensible entry has nothing to do with the
+ \texttt{braceleftmid} glyph; instead this slot is used as a
+ placeholder for the large form of the `\(\arrowvert\)'
+ delimiter.}
+ \endvarchar
+\endsetslot
+
+\setslot{bracerightmid}
+ \varchar
+ \varrep{arrowvertexdbl}
+ \comment{This extensible entry has nothing to do with the
+ \texttt{bracerightmid} glyph; instead this slot is used as a
+ placeholder for the large form of the `\(\Arrowvert\)'
+ delimiter.}
+ \endvarchar
+\endsetslot
+
+\setslot{braceex}
+ \varchar
+ \varrep{braceex}
+ \endvarchar
+\endsetslot
+
+\setslot{arrowvertex}
+ \varchar
+ \vartop{arrowtp}
+ \varbot{arrowbt}
+ \varrep{arrowvertex}
+ \endvarchar
+\endsetslot
+
+\setslot{parenleftbt}
+ \varchar
+ \vartop{bracelefttp}
+ \varbot{bracerightbt}
+ \varrep{braceex}
+ \endvarchar
+\endsetslot
+
+\setslot{parenrightbt}
+ \varchar
+ \vartop{bracerighttp}
+ \varbot{braceleftbt}
+ \varrep{braceex}
+ \endvarchar
+\endsetslot
+
+\setslot{parenleftex}
+ \varchar
+ \varrep{parenleftex}
+ \endvarchar
+\endsetslot
+
+\setslot{parenrightex}
+ \varchar
+ \varrep{parenrightex}
+ \endvarchar
+\endsetslot
+
+\setslot{angleleftBig}
+ \nextlarger{angleleftbigg}
+\endsetslot
+
+\setslot{anglerightBig}
+ \nextlarger{anglerightbigg}
+\endsetslot
+
+\setslot{unionsqtext}
+ \nextlarger{unionsqdisplay}
+\endsetslot
+
+\setslot{unionsqdisplay}
+\endsetslot
+
+\setslot{contintegraltext}
+ \nextlarger{contintegraldisplay}
+\endsetslot
+
+\setslot{contintegraldisplay}
+\endsetslot
+
+\setslot{circledottext}
+ \nextlarger{circledotdisplay}
+\endsetslot
+
+\setslot{circledotdisplay}
+\endsetslot
+
+\setslot{circleplustext}
+ \nextlarger{circleplusdisplay}
+\endsetslot
+
+\setslot{circleplusdisplay}
+\endsetslot
+
+\setslot{circlemultiplytext}
+ \nextlarger{circlemultiplydisplay}
+\endsetslot
+
+\setslot{circlemultiplydisplay}
+\endsetslot
+
+\setslot{summationtext}
+ \nextlarger{summationdisplay}
+\endsetslot
+
+\setslot{producttext}
+ \nextlarger{productdisplay}
+\endsetslot
+
+\setslot{integraltext}
+ \nextlarger{integraldisplay}
+\endsetslot
+
+\setslot{uniontext}
+ \nextlarger{uniondisplay}
+\endsetslot
+
+\setslot{intersectiontext}
+ \nextlarger{intersectiondisplay}
+\endsetslot
+
+\setslot{unionmultitext}
+ \nextlarger{unionmultidisplay}
+\endsetslot
+
+\setslot{logicalandtext}
+ \nextlarger{logicalanddisplay}
+\endsetslot
+
+\setslot{logicalortext}
+ \nextlarger{logicalordisplay}
+\endsetslot
+
+\setslot{summationdisplay}
+\endsetslot
+
+\setslot{productdisplay}
+\endsetslot
+
+\setslot{integraldisplay}
+\endsetslot
+
+\setslot{uniondisplay}
+\endsetslot
+
+\setslot{intersectiondisplay}
+\endsetslot
+
+\setslot{unionmultidisplay}
+\endsetslot
+
+\setslot{logicalanddisplay}
+\endsetslot
+
+\setslot{logicalordisplay}
+\endsetslot
+
+\setslot{coproducttext}
+ \nextlarger{coproductdisplay}
+\endsetslot
+
+\setslot{coproductdisplay}
+\endsetslot
+
+\setslot{hatwide}
+ \nextlarger{hatwider}
+\endsetslot
+
+\setslot{hatwider}
+ \nextlarger{hatwidest}
+\endsetslot
+
+\setslot{hatwidest}
+\endsetslot
+
+\setslot{tildewide}
+ \nextlarger{tildewider}
+\endsetslot
+
+\setslot{tildewider}
+ \nextlarger{tildewidest}
+\endsetslot
+
+\setslot{tildewidest}
+\endsetslot
+
+\setslot{bracketleftBig}
+ \nextlarger{bracketleftbigg}
+\endsetslot
+
+\setslot{bracketrightBig}
+ \nextlarger{bracketrightbigg}
+\endsetslot
+
+\setslot{floorleftBig}
+ \nextlarger{floorleftbigg}
+\endsetslot
+
+\setslot{floorrightBig}
+ \nextlarger{floorrightbigg}
+\endsetslot
+
+\setslot{ceilingleftBig}
+ \nextlarger{ceilingleftbigg}
+\endsetslot
+
+\setslot{ceilingrightBig}
+ \nextlarger{ceilingrightbigg}
+\endsetslot
+
+\setslot{braceleftBig}
+ \nextlarger{braceleftbigg}
+\endsetslot
+
+\setslot{bracerightBig}
+ \nextlarger{bracerightbigg}
+\endsetslot
+
+\setslot{radicalbig}
+ \nextlarger{radicalBig}
+\endsetslot
+
+\setslot{radicalBig}
+ \nextlarger{radicalbigg}
+\endsetslot
+
+\setslot{radicalbigg}
+ \nextlarger{radicalBigg}
+\endsetslot
+
+\setslot{radicalBigg}
+ \nextlarger{radicalbt}
+\endsetslot
+
+\setslot{radicalbt}
+ \varchar
+ \varbot{radicalbt}
+ \vartop{radicaltp}
+ \varrep{radicalvertex}
+ \endvarchar
+\endsetslot
+
+\setslot{radicalvertex}
+\endsetslot
+
+\setslot{radicaltp}
+\endsetslot
+
+\setslot{arrowvertexdbl}
+ \varchar
+ \vartop{arrowdbltp}
+ \varbot{arrowdblbt}
+ \varrep{arrowvertexdbl}
+ \endvarchar
+\endsetslot
+
+\setslot{arrowtp}
+ \varchar
+ \vartop{arrowtp}
+ \varrep{arrowvertex}
+ \endvarchar
+\endsetslot
+
+\setslot{arrowbt}
+ \varchar
+ \varbot{arrowbt}
+ \varrep{arrowvertex}
+ \endvarchar
+\endsetslot
+
+\setslot{bracehtipdownleft}
+\endsetslot
+
+\setslot{bracehtipdownright}
+\endsetslot
+
+\setslot{bracehtipupleft}
+\endsetslot
+
+\setslot{bracehtipupright}
+\endsetslot
+
+\setslot{arrowdbltp}
+ \varchar
+ \vartop{arrowdbltp}
+ \varrep{arrowvertexdbl}
+ \endvarchar
+\endsetslot
+
+\setslot{arrowdblbt}
+ \varchar
+ \varbot{arrowdblbt}
+ \varrep{arrowvertexdbl}
+ \endvarchar
+\endsetslot
+
+\endencoding
+
+
+\section{Changes}
+
+\parindent=1em
+
+29 Dec 1993, v1.30: Created file.
+
+03 Jan 1994, v1.301:
+Moved from \texttt{ltugboat} to \texttt{article} class.
+
+04 Jan 1994, v1.302:
+Renamed \texttt{loweredradical} to \texttt{radicallow}.
+
+06 Jan 1994, v1.303: Corrected a fontdimen bug.
+
+09 Jan 1994, v1.305: Changed some names to use the same glyph names
+ as Lucida New Math.
+
+10 Oct 1997, v1.306:
+Ulrik Vieth found a bug in the varchar recipe for the
+\texttt{parenrightbt} slot.
+
+10 October 2000, v\,1.915:
+Introduced intermediate variables for fontdimens 8--13.
+Added \texttt{encodingname}. Added glyph examples.
+Markup updates. (LH)
+
+20 November 2000, v\,1.915:
+Changed glyph names \texttt{arrowdblvertex}, \texttt{hatwiderr}, and
+\texttt{tildewiderr} to \texttt{arrowvertexdbl}, \texttt{hatwidest},
+and \texttt{tildewidest} respectively to really use the same names as
+\texttt{texmext.enc} and Lucida New Math. (LH) Reported by Alejandro
+L\'{o}pez-Valencia.
+
+22 November 2000, v\,1.915:
+Added explanations of the \verb|\varchar| entries for
+\texttt{braceleftmid} and \texttt{bracerightmid}. (LH)
+
+27 July 2002, v\,1.921:
+Introduced intermediate variables for fontdimens 1--7.
+Using \verb"\setfontdimen". (LH)
+
+\end{document}