summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/fontinst/base/encspecs/omxdraft.etx
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/fontinst/base/encspecs/omxdraft.etx')
-rw-r--r--Master/texmf-dist/doc/fontinst/base/encspecs/omxdraft.etx985
1 files changed, 985 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/fontinst/base/encspecs/omxdraft.etx b/Master/texmf-dist/doc/fontinst/base/encspecs/omxdraft.etx
new file mode 100644
index 00000000000..efccabde857
--- /dev/null
+++ b/Master/texmf-dist/doc/fontinst/base/encspecs/omxdraft.etx
@@ -0,0 +1,985 @@
+\documentclass[twocolumn]{article}
+\usepackage[specification]{fontdoc}[2001/06/01]
+
+% \usepackage[T1]{fontenc}
+\DeclareTextCommandDefault{\textvisiblespace}{%
+ \mbox{\kern.06em\vrule height.3ex}%
+ \vbox{\hrule width.3em}%
+ \hbox{\vrule height.3ex\kern.06em}}
+
+\DeclareRobustCommand\cs[1]{\texttt{\char`\\#1}}
+
+\showbranches
+
+\begin{document}
+
+\title{\texttt{OMX} encoding draft specification}
+\author{Lars Hellstr\"om}
+\date{2001/10/20}
+\maketitle
+
+\begin{abstract}
+ The \TeX\ math extensions (\texttt{OMX}) encoding is a container for
+ most of the ``growing'' characters in the standard math set-up, but
+ that is pretty much the extent of it. Some of the characters occur
+ in ``normal size'' in other encodings; in these cases it is usually
+ a single math command that usually make use of characters in both
+ encodings.
+\end{abstract}
+
+
+\encoding
+
+\begincomment
+\section{Mandatory characters}
+
+\subsection{Delimiters}
+\endcomment
+
+\nextslot{0}
+\setslot{parenleftbig}
+ \Unicode{0028}{LEFT PARENTHESIS}
+ \nextlarger{parenleftBig}
+\endsetslot
+
+\setslot{parenrightbig}
+ \Unicode{0029}{RIGHT PARENTHESIS}
+ \nextlarger{parenrightBig}
+\endsetslot
+
+\setslot{bracketleftbig}
+ \Unicode{005B}{LEFT SQUARE BRACKET}
+ \nextlarger{bracketleftBig}
+\endsetslot
+
+\setslot{bracketrightbig}
+ \Unicode{005D}{RIGHT SQUARE BRACKET}
+ \nextlarger{bracketrightBig}
+\endsetslot
+
+\setslot{floorleftbig}
+ \Unicode{230A}{LEFT FLOOR}
+ \nextlarger{floorleftBig}
+\endsetslot
+
+\setslot{floorrightbig}
+ \Unicode{230B}{RIGHT FLOOR}
+ \nextlarger{floorrightBig}
+\endsetslot
+
+\setslot{ceilingleftbig}
+ \Unicode{2308}{LEFT CEILING}
+ \nextlarger{ceilingleftBig}
+\endsetslot
+
+\setslot{ceilingrightbig}
+ \Unicode{2309}{RIGHT CEILING}
+ \nextlarger{ceilingrightBig}
+\endsetslot
+
+\setslot{braceleftbig}
+ \Unicode{007B}{LEFT CURLY BRACKET}
+ \nextlarger{braceleftBig}
+\endsetslot
+
+\setslot{bracerightbig}
+ \Unicode{007D}{RIGHT CURLY BRACKET}
+ \nextlarger{bracerightBig}
+\endsetslot
+
+\setslot{angleleftbig}
+ \Unicode{2329}{LEFT-POINTING ANGLE BRACKET}
+ \nextlarger{angleleftBig}
+\endsetslot
+
+\setslot{anglerightbig}
+ \Unicode{232A}{RIGHT-POINTING ANGLE BRACKET}
+ \nextlarger{anglerightBig}
+\endsetslot
+
+\setslot{barex}
+ \Unicode{007C}{VERTICAL LINE}
+ \comment{This is used by the \cs{vert} command. When not accessed
+ as a delimiter, this character may be much shorter than one
+ would expect.}
+ \varchar
+ \varrep{barex}
+ \endvarchar
+\endsetslot
+
+\setslot{bardblex}
+ \Unicode{2016}{DOUBLE VERTICAL LINE}
+ \comment{This is used by the \cs{Vert} command. When not accessed
+ as a delimiter, this character may be much shorter than one
+ would expect.}
+ \varchar
+ \varrep{bardblex}
+ \endvarchar
+\endsetslot
+
+\setslot{slashbig}
+ \Unicode{2215}{DIVISION SLASH}
+ \comment{Although this character is normally accessed via \TeX's
+ growing delimiter mechanism, it is not used as such in formulae,
+ but as a large division slash. Since the use is unambigously for
+ division and the like, it would be inaccurate to identify this
+ character with \textunicode{002F}{SOLIDUS}.}
+ \nextlarger{slashBig}
+\endsetslot
+
+\setslot{backslashbig}
+ \Unicode{005C}{REVERSE SOLIDUS}
+ \comment{This is \TeX's \cs{backslash} (use for ``double coset''),
+ not \cs{setminus}, and hence it is not
+ \textunicode{2216}{SET MINUS}.}
+ \nextlarger{backslashBig}
+\endsetslot
+
+\nextslot{62}
+\setslot{braceex}
+ \Unicode{007C}{VERTICAL LINE}
+ \comment{This is used by the \cs{bracevert} command.}
+ \label{braceex}
+ \varchar
+ \varrep{braceex}
+ \endvarchar
+ \comment{This slot contains the repeatable part of a extensible
+ brace delimiter. In the standard set-up, the extensible recipes of
+ slots~\ref{bracelefttp}, \ref{bracerighttp}, \ref{braceleftbt},
+ \ref{bracerightbt}, \ref{parenleftbt}, and \ref{parenrightbt} all
+ make use of this slot.}
+\endsetslot
+
+\nextslot{"42}
+\setslot{parenleftex}
+ \Unicode{007C}{VERTICAL LINE}
+ \comment{As astonishing as it may seem, there is no command which
+ accesses this slot. The glyph is similar to that in
+ slot~\ref{braceex}, but shifted to the left.}
+ \varchar
+ \varrep{parenleftex}
+ \endvarchar
+\endsetslot
+
+\setslot{parenrightex}
+ \Unicode{007C}{VERTICAL LINE}
+ \comment{As astonishing as it may seem, there is no command which
+ accesses this slot. The glyph is similar to that in
+ slot~\ref{braceex}, but shifted to the right.}
+ \varchar
+ \varrep{parenrightex}
+ \endvarchar
+\endsetslot
+
+\nextslot{"7A}
+\setslot{bracehtipdownleft}
+ \comment{This is \cs{braceld}, a tip (pointing left, bending down)
+ used to build over- and underbraces.}
+\endsetslot
+
+\setslot{bracehtipdownright}
+ \comment{This is \cs{bracerd}, a tip (pointing right, bending down)
+ used to build over- and underbraces.}
+\endsetslot
+
+\setslot{bracehtipupleft}
+ \comment{This is \cs{bracelu}, a tip (pointing left, bending up)
+ used to build over- and underbraces.}
+\endsetslot
+
+\setslot{bracehtipupright}
+ \comment{This is \cs{braceru}, a tip (pointing right, bending up)
+ used to build over- and underbraces.}
+\endsetslot
+
+
+
+\begincomment
+\subsection{Text style operators}
+
+With the exception of the integrals, all the following characters
+should be \textsc{n-ary \dots}, but some cases there are no such
+variants defined in Unicode.
+\endcomment
+
+\nextslot{"46}
+\setslot{unionsqtext}
+ \Unicode{2294}{SQUARE CUP}
+ \nextlarger{unionsqdisplay}
+\endsetslot
+
+\skipslots{1}
+\setslot{contintegraltext}
+ \Unicode{222E}{CONTOUR INTEGRAL}
+ \nextlarger{contintegraldisplay}
+\endsetslot
+
+\skipslots{1}
+\setslot{circledottext}
+ \Unicode{2299}{CIRCLED DOT OPERATOR}
+ \nextlarger{circledotdisplay}
+\endsetslot
+
+\skipslots{1}
+\setslot{circleplustext}
+ \Unicode{2295}{CIRCLED PLUS}
+ \nextlarger{circleplusdisplay}
+\endsetslot
+
+\skipslots{1}
+\setslot{circlemultiplytext}
+ \Unicode{2297}{CIRCLED TIMES}
+ \nextlarger{circlemultiplydisplay}
+\endsetslot
+
+\skipslots{1}
+\setslot{summationtext}
+ \Unicode{2211}{N-ARY SUMMATION}
+ \nextlarger{summationdisplay}
+\endsetslot
+
+\setslot{producttext}
+ \Unicode{220F}{N-ARY PRODUCT}
+ \nextlarger{productdisplay}
+\endsetslot
+
+\setslot{integraltext}
+ \Unicode{222B}{INTEGRAL}
+ \nextlarger{integraldisplay}
+\endsetslot
+
+\setslot{uniontext}
+ \Unicode{22C3}{N-ARY UNION}
+ \nextlarger{uniondisplay}
+\endsetslot
+
+\setslot{intersectiontext}
+ \Unicode{22C2}{N-ARY INTERSECTION}
+ \nextlarger{intersectiondisplay}
+\endsetslot
+
+\setslot{unionmultitext}
+ \Unicode{228E}{MULTISET UNION}
+ \nextlarger{unionmultidisplay}
+\endsetslot
+
+\setslot{logicalandtext}
+ \Unicode{22C0}{N-ARY LOGICAL AND}
+ \nextlarger{logicalanddisplay}
+\endsetslot
+
+\setslot{logicalortext}
+ \Unicode{22C1}{N-ARY LOGICAL OR}
+ \nextlarger{logicalordisplay}
+\endsetslot
+
+\skipslots{8}
+\setslot{coproducttext}
+ \Unicode{2210}{N-ARY COPRODUCT}
+ \nextlarger{coproductdisplay}
+\endsetslot
+
+
+
+\begincomment
+\subsection{Accents, arrows, and the radical}
+\endcomment
+
+\nextslot{"62}
+\setslot{hatwide}
+ \Unicode{0302}{COMBINING CIRCUMFLEX ACCENT}
+ \nextlarger{hatwider}
+\endsetslot
+
+\skipslots{2}
+
+\setslot{tildewide}
+ \Unicode{0303}{COMBINING TILDE}
+ \nextlarger{tildewider}
+\endsetslot
+
+\nextslot{"70}
+\setslot{radicalbig}
+ \Unicode{221A}{SQUARE ROOT}
+ \nextlarger{radicalBig}
+\endsetslot
+
+\nextslot{"78}
+\setslot{arrowtp}
+ \Unicode{2191}{UPWARDS ARROW}
+ \varchar
+ \vartop{arrowtp}
+ \varrep{arrowvertex}
+ \endvarchar
+\endsetslot
+
+\setslot{arrowbt}
+ \Unicode{2193}{DOWNWARDS ARROW}
+ \varchar
+ \varrep{arrowvertex}
+ \varbot{arrowbt}
+ \endvarchar
+\endsetslot
+
+\nextslot{"7E}
+\setslot{arrowdbltp}
+ \Unicode{21D1}{UPWARDS DOUBLE ARROW}
+ \varchar
+ \vartop{arrowdbltp}
+ \varrep{arrowdblvertex}
+ \endvarchar
+\endsetslot
+
+\setslot{arrowdblbt}
+ \Unicode{21D3}{DOWNWARDS DOUBLE ARROW}
+ \varchar
+ \varrep{arrowdblvertex}
+ \varbot{arrowdblbt}
+ \endvarchar
+\endsetslot
+
+
+
+
+
+
+\begincomment
+\section{Semimandatory characters}
+\endcomment
+
+\nextslot{"3A}
+\setslot{braceleftbt}
+ \comment{This is the \cs{lgroup} delimiter, which looks like a
+ \textunicode{007B}{LEFT CURLY BRACKET} with flat middle section.
+ There does not seem to be such a character in Unicode, but a
+ close approximation would be a narrowed
+ \textunicode{3014}{LEFT TORTOISE SHELL BRACKET}.}
+ \label{braceleftbt}
+ \varchar
+ \vartop{bracelefttp}
+ \varrep{braceex}
+ \varbot{braceleftbt}
+ \endvarchar
+ \comment{The slot contains the curved bottom of a
+ \textunicode{007B}{LEFT CURLY BRACKET}.}
+\endsetslot
+
+\setslot{bracerightbt}
+ \comment{This is the \cs{rgroup} delimiter, which looks like a
+ \textunicode{007D}{RIGHT CURLY BRACKET} with flat middle section.
+ There does not seem to be such a character in Unicode, but a
+ close approximation would be a narrowed
+ \textunicode{3015}{RIGHT TORTOISE SHELL BRACKET}.}
+ \label{bracerightbt}
+ \varchar
+ \vartop{bracerighttp}
+ \varrep{braceex}
+ \varbot{bracerightbt}
+ \endvarchar
+ \comment{The slot contains the curved bottom of a
+ \textunicode{007D}{RIGHT CURLY BRACKET}.}
+\endsetslot
+
+\setslot{braceleftmid}
+ \Unicode{007C}{VERTICAL LINE}
+ \comment{This is used by the \cs{arrowvert} command.}
+ \varchar
+ \varrep{arrowvertex}
+ \endvarchar
+ \comment{The slot contains the middle part of a
+ \textunicode{007B}{LEFT CURLY BRACKET}.}
+\endsetslot
+
+\setslot{bracerightmid}
+ \Unicode{2016}{DOUBLE VERTICAL LINE}
+ \comment{This is used by the \cs{Arrowvert} command.}
+ \varchar
+ \varrep{arrowdblvertex}
+ \endvarchar
+ \comment{The slot contains the middle part of a
+ \textunicode{007D}{RIGHT CURLY BRACKET}.}
+\endsetslot
+
+\skipslots{1}
+
+\setslot{arrowvertex}
+ \Unicode{2195}{UP DOWN ARROW}
+ \varchar
+ \vartop{arrowtp}
+ \varrep{arrowvertex}
+ \varbot{arrowbt}
+ \endvarchar
+ \comment{This slot contains the repeatable middle part of a vertical
+ arrow.}
+\endsetslot
+
+\setslot{parenleftbt}
+ \label{parenleftbt}
+ \comment{This is the \cs{lmoustache} delimiter, whose top half is
+ like \cs{lgroup} and whose bottom half is like \cs{rgroup}.}
+ \varchar
+ \vartop{bracelefttp}
+ \varrep{braceex}
+ \varbot{bracerightbt}
+ \endvarchar
+ \comment{This slot contains the curved bottom of a
+ \textunicode{0028}{LEFT PARENTHESIS}.}
+\endsetslot
+
+\setslot{parenrightbt}
+ \label{parenrightbt}
+ \comment{This is the \cs{rmoustache} delimiter, whose top half is
+ like \cs{rgroup} and whose bottom half is like \cs{lgroup}.}
+ \varchar
+ \vartop{bracerighttp}
+ \varrep{braceex}
+ \varbot{braceleftbt}
+ \endvarchar
+ \comment{This slot contains the curved bottom of a
+ \textunicode{0029}{RIGHT PARENTHESIS}.}
+\endsetslot
+
+\nextslot{"77}
+\setslot{arrowdblvertex}
+ \Unicode{21D5}{UP DOWN DOUBLE ARROW}
+ \varchar
+ \vartop{arrowdbltp}
+ \varbot{arrowdblbt}
+ \varrep{arrowdblvertex}
+ \endvarchar
+ \comment{This slot contains the repeatable middle part of a vertical
+ double arrow.}
+\endsetslot
+
+
+
+
+
+\begincomment
+\section{Ordinary characters}
+\endcomment
+
+
+\begincomment
+\subsection{\texttt{Big} size delimiters}
+\endcomment
+
+\nextslot{16}
+\setslot{parenleftBig}
+ \Unicode{0028}{LEFT PARENTHESIS}
+ \nextlarger{parenleftbigg}
+\endsetslot
+
+\setslot{parenrightBig}
+ \Unicode{0029}{RIGHT PARENTHESIS}
+ \nextlarger{parenrightbigg}
+\endsetslot
+
+\nextslot{46}
+\setslot{slashBig}
+ \Unicode{2215}{DIVISION SLASH}
+ \nextlarger{slashbigg}
+\endsetslot
+
+\setslot{backslashBig}
+ \Unicode{005C}{REVERSE SOLIDUS}
+ \nextlarger{backslashbigg}
+\endsetslot
+
+\nextslot{"44}
+\setslot{angleleftBig}
+ \Unicode{2329}{LEFT-POINTING ANGLE BRACKET}
+ \nextlarger{angleleftbigg}
+\endsetslot
+
+\setslot{anglerightBig}
+ \Unicode{232A}{RIGHT-POINTING ANGLE BRACKET}
+ \nextlarger{anglerightbigg}
+\endsetslot
+
+\nextslot{"68}
+\setslot{bracketleftBig}
+ \Unicode{005B}{LEFT SQUARE BRACKET}
+ \nextlarger{bracketleftbigg}
+\endsetslot
+
+\setslot{bracketrightBig}
+ \Unicode{005D}{RIGHT SQUARE BRACKET}
+ \nextlarger{bracketrightbigg}
+\endsetslot
+
+\setslot{floorleftBig}
+ \Unicode{230A}{LEFT FLOOR}
+ \nextlarger{floorleftbigg}
+\endsetslot
+
+\setslot{floorrightBig}
+ \Unicode{230B}{RIGHT FLOOR}
+ \nextlarger{floorrightbigg}
+\endsetslot
+
+\setslot{ceilingleftBig}
+ \Unicode{2308}{LEFT CEILING}
+ \nextlarger{ceilingleftbigg}
+\endsetslot
+
+\setslot{ceilingrightBig}
+ \Unicode{2309}{RIGHT CEILING}
+ \nextlarger{ceilingrightbigg}
+\endsetslot
+
+\setslot{braceleftBig}
+ \Unicode{007B}{LEFT CURLY BRACKET}
+ \nextlarger{braceleftbigg}
+\endsetslot
+
+\setslot{bracerightBig}
+ \Unicode{007D}{RIGHT CURLY BRACKET}
+ \nextlarger{bracerightbigg}
+\endsetslot
+
+
+
+
+
+\begincomment
+\subsection{\texttt{bigg} size delimiters}
+\endcomment
+
+\nextslot{18}
+\setslot{parenleftbigg}
+ \Unicode{0028}{LEFT PARENTHESIS}
+ \nextlarger{parenleftBigg}
+\endsetslot
+
+\setslot{parenrightbigg}
+ \Unicode{0029}{RIGHT PARENTHESIS}
+ \nextlarger{parenrightBigg}
+\endsetslot
+
+\setslot{bracketleftbigg}
+ \Unicode{005B}{LEFT SQUARE BRACKET}
+ \nextlarger{bracketleftBigg}
+\endsetslot
+
+\setslot{bracketrightbigg}
+ \Unicode{005D}{RIGHT SQUARE BRACKET}
+ \nextlarger{bracketrightBigg}
+\endsetslot
+
+\setslot{floorleftbigg}
+ \Unicode{230A}{LEFT FLOOR}
+ \nextlarger{floorleftBigg}
+\endsetslot
+
+\setslot{floorrightbigg}
+ \Unicode{230B}{RIGHT FLOOR}
+ \nextlarger{floorrightBigg}
+\endsetslot
+
+\setslot{ceilingleftbigg}
+ \Unicode{2308}{LEFT CEILING}
+ \nextlarger{ceilingleftBigg}
+\endsetslot
+
+\setslot{ceilingrightbigg}
+ \Unicode{2309}{RIGHT CEILING}
+ \nextlarger{ceilingrightBigg}
+\endsetslot
+
+\setslot{braceleftbigg}
+ \Unicode{007B}{LEFT CURLY BRACKET}
+ \nextlarger{braceleftBigg}
+\endsetslot
+
+\setslot{bracerightbigg}
+ \Unicode{007D}{RIGHT CURLY BRACKET}
+ \nextlarger{bracerightBigg}
+\endsetslot
+
+\setslot{angleleftbigg}
+ \Unicode{2329}{LEFT-POINTING ANGLE BRACKET}
+ \nextlarger{angleleftBigg}
+\endsetslot
+
+\setslot{anglerightbigg}
+ \Unicode{232A}{RIGHT-POINTING ANGLE BRACKET}
+ \nextlarger{anglerightBigg}
+\endsetslot
+
+\setslot{slashbigg}
+ \Unicode{2215}{DIVISION SLASH}
+ \nextlarger{slashBigg}
+\endsetslot
+
+\setslot{backslashbigg}
+ \Unicode{005C}{REVERSE SOLIDUS}
+ \nextlarger{backslashBigg}
+\endsetslot
+
+
+
+\begincomment
+\subsection{\texttt{Bigg} size delimiters}
+\endcomment
+
+\nextslot{32}
+\setslot{parenleftBigg}
+ \Unicode{0028}{LEFT PARENTHESIS}
+ \nextlarger{parenlefttp}
+\endsetslot
+
+\setslot{parenrightBigg}
+ \Unicode{0029}{RIGHT PARENTHESIS}
+ \nextlarger{parenrighttp}
+\endsetslot
+
+\setslot{bracketleftBigg}
+ \Unicode{005B}{LEFT SQUARE BRACKET}
+ \nextlarger{bracketlefttp}
+\endsetslot
+
+\setslot{bracketrightBigg}
+ \Unicode{005D}{RIGHT SQUARE BRACKET}
+ \nextlarger{bracketrighttp}
+\endsetslot
+
+\setslot{floorleftBigg}
+ \Unicode{230A}{LEFT FLOOR}
+ \nextlarger{bracketleftbt}
+\endsetslot
+
+\setslot{floorrightBigg}
+ \Unicode{230B}{RIGHT FLOOR}
+ \nextlarger{bracketrightbt}
+\endsetslot
+
+\setslot{ceilingleftBigg}
+ \Unicode{2308}{LEFT CEILING}
+ \nextlarger{bracketleftex}
+\endsetslot
+
+\setslot{ceilingrightBigg}
+ \Unicode{2309}{RIGHT CEILING}
+ \nextlarger{bracketrightex}
+\endsetslot
+
+\setslot{braceleftBigg}
+ \Unicode{007B}{LEFT CURLY BRACKET}
+ \nextlarger{bracelefttp}
+\endsetslot
+
+\setslot{bracerightBigg}
+ \Unicode{007D}{RIGHT CURLY BRACKET}
+ \nextlarger{bracerighttp}
+\endsetslot
+
+\setslot{angleleftBigg}
+ \Unicode{2329}{LEFT-POINTING ANGLE BRACKET}
+\endsetslot
+
+\setslot{anglerightBigg}
+ \Unicode{232A}{RIGHT-POINTING ANGLE BRACKET}
+\endsetslot
+
+\setslot{slashBigg}
+ \Unicode{2215}{DIVISION SLASH}
+\endsetslot
+
+\setslot{backslashBigg}
+ \Unicode{005C}{REVERSE SOLIDUS}
+\endsetslot
+
+
+
+\begincomment
+\subsection{Extensible delimiters}
+\endcomment
+
+\nextslot{48}
+\setslot{parenlefttp}
+ \comment{This slot contains the curved top of a
+ \textunicode{0028}{LEFT PARENTHESIS}.}
+ \varchar
+ \vartop{parenlefttp}
+ \varrep{parenleftex}
+ \varbot{parenleftbt}
+ \endvarchar
+\endsetslot
+
+\setslot{parenrighttp}
+ \comment{This slot contains the curved top of a
+ \textunicode{0029}{RIGHT PARENTHESIS}.}
+ \varchar
+ \vartop{parenrighttp}
+ \varrep{parenrightex}
+ \varbot{parenrightbt}
+ \endvarchar
+\endsetslot
+
+\setslot{bracketlefttp}
+ \comment{This slot contains the corner top of a
+ \textunicode{005B}{LEFT SQUARE BRACKET}.}
+ \varchar
+ \vartop{bracketlefttp}
+ \varrep{bracketleftex}
+ \varbot{bracketleftbt}
+ \endvarchar
+\endsetslot
+
+\setslot{bracketrighttp}
+ \comment{This slot contains the corner top of a
+ \textunicode{005D}{RIGHT SQUARE BRACKET}.}
+ \varchar
+ \vartop{bracketrighttp}
+ \varrep{bracketrightex}
+ \varbot{bracketrightbt}
+ \endvarchar
+\endsetslot
+
+\setslot{bracketleftbt}
+ \comment{This slot contains the corner bottom of a
+ \textunicode{005B}{LEFT SQUARE BRACKET}, but it serves as the
+ final slot in the chain of larger sizes of
+ \textunicode{230A}{LEFT FLOOR}.}
+ \varchar
+ \varrep{bracketleftex}
+ \varbot{bracketleftbt}
+ \endvarchar
+\endsetslot
+
+\setslot{bracketrightbt}
+ \comment{This slot contains the corner bottom of a
+ \textunicode{005D}{RIGHT SQUARE BRACKET}, but it serves as the
+ final slot in the chain of larger sizes of
+ \textunicode{230B}{RIGHT FLOOR}.}
+ \varchar
+ \varrep{bracketrightex}
+ \varbot{bracketrightbt}
+ \endvarchar
+\endsetslot
+
+\setslot{bracketleftex}
+ \comment{This slot contains the repeatable middle part of a
+ \textunicode{005B}{LEFT SQUARE BRACKET}, but it serves as the
+ final slot in the chain of larger sizes of
+ \textunicode{2308}{LEFT CEILING}.}
+ \varchar
+ \vartop{bracketlefttp}
+ \varrep{bracketleftex}
+ \endvarchar
+\endsetslot
+
+\setslot{bracketrightex}
+ \comment{This slot contains the repeatable middle part of a
+ \textunicode{005D}{RIGHT SQUARE BRACKET}, but it serves as the
+ final slot in the chain of larger sizes of
+ \textunicode{2309}{RIGHT CEILING}.}
+ \varchar
+ \vartop{bracketrighttp}
+ \varrep{bracketrightex}
+ \endvarchar
+\endsetslot
+
+\setslot{bracelefttp}
+ \comment{This slot contains the curved top of a
+ \textunicode{007B}{LEFT CURLY BRACKET}.}
+ \label{bracelefttp}
+ \varchar
+ \vartop{bracelefttp}
+ \varrep{braceex}
+ \varmid{braceleftmid}
+ \varbot{braceleftbt}
+ \endvarchar
+\endsetslot
+
+\setslot{bracerighttp}
+ \comment{This slot contains the curved top of a
+ \textunicode{007D}{RIGHT CURLY BRACKET}.}
+ \label{bracerighttp}
+ \varchar
+ \vartop{bracerighttp}
+ \varrep{braceex}
+ \varmid{bracerightmid}
+ \varbot{bracerightbt}
+ \endvarchar
+\endsetslot
+
+
+
+
+
+\begincomment
+\subsection{Display style operators}
+\endcomment
+
+\nextslot{"47}
+\setslot{unionsqdisplay}
+ \Unicode{2294}{SQUARE CUP}
+\endsetslot
+
+\skipslots{1}
+\setslot{contintegraldisplay}
+ \Unicode{222E}{CONTOUR INTEGRAL}
+\endsetslot
+
+\skipslots{1}
+\setslot{circledotdisplay}
+ \Unicode{2299}{CIRCLED DOT OPERATOR}
+\endsetslot
+
+\skipslots{1}
+\setslot{circleplusdisplay}
+ \Unicode{2295}{CIRCLED PLUS}
+\endsetslot
+
+\skipslots{1}
+\setslot{circlemultiplydisplay}
+ \Unicode{2297}{CIRCLED TIMES}
+\endsetslot
+
+\skipslots{8}
+\setslot{summationdisplay}
+ \Unicode{2211}{N-ARY SUMMATION}
+\endsetslot
+
+\setslot{productdisplay}
+ \Unicode{220F}{N-ARY PRODUCT}
+\endsetslot
+
+\setslot{integraldisplay}
+ \Unicode{222B}{INTEGRAL}
+\endsetslot
+
+\setslot{uniondisplay}
+ \Unicode{22C3}{N-ARY UNION}
+\endsetslot
+
+\setslot{intersectiondisplay}
+ \Unicode{22C2}{N-ARY INTERSECTION}
+\endsetslot
+
+\setslot{unionmultidisplay}
+ \Unicode{228E}{MULTISET UNION}
+\endsetslot
+
+\setslot{logicalanddisplay}
+ \Unicode{22C0}{N-ARY LOGICAL AND}
+\endsetslot
+
+\setslot{logicalordisplay}
+ \Unicode{22C1}{N-ARY LOGICAL OR}
+\endsetslot
+
+\skipslots{1}
+\setslot{coproductdisplay}
+ \Unicode{2210}{N-ARY COPRODUCT}
+\endsetslot
+
+
+
+\begincomment
+\subsection{Accents}
+\endcomment
+
+\nextslot{"63}
+\setslot{hatwider}
+ \Unicode{0302}{COMBINING CIRCUMFLEX ACCENT}
+ \nextlarger{hatwiderr}
+\endsetslot
+
+\setslot{hatwiderr}
+ \Unicode{0302}{COMBINING CIRCUMFLEX ACCENT}
+\endsetslot
+
+\skipslots{1}
+
+\setslot{tildewider}
+ \Unicode{0303}{COMBINING TILDE}
+ \nextlarger{tildewiderr}
+\endsetslot
+
+\setslot{tildewiderr}
+ \Unicode{0303}{COMBINING TILDE}
+\endsetslot
+
+
+\begincomment
+\subsection{Radicals}
+\endcomment
+
+\nextslot{"71}
+\setslot{radicalBig}
+ \Unicode{221A}{SQUARE ROOT}
+ \nextlarger{radicalbigg}
+\endsetslot
+
+\setslot{radicalbigg}
+ \Unicode{221A}{SQUARE ROOT}
+ \nextlarger{radicalBigg}
+\endsetslot
+
+\setslot{radicalBigg}
+ \Unicode{221A}{SQUARE ROOT}
+ \nextlarger{radicalbt}
+\endsetslot
+
+\setslot{radicalbt}
+ \Unicode{221A}{SQUARE ROOT}
+ \varchar
+ \varbot{radicalbt}
+ \vartop{radicaltp}
+ \varrep{radicalvertex}
+ \endvarchar
+\endsetslot
+
+\setslot{radicalvertex}
+ \comment{This is the repeatable, vertically middle part of an
+ extensible \textunicode{221A}{SQUARE ROOT}.}
+\endsetslot
+
+\setslot{radicaltp}
+ \comment{This is the top corner part of an extensible
+ \textunicode{221A}{SQUARE ROOT}.}
+\endsetslot
+
+
+
+
+
+\begincomment
+\section{Fontdimens and codingscheme}
+
+\texttt{OMX} fonts have the necessary fontdimens to serve as a math
+group 3 font.
+\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
+
+\setstr{codingscheme}{TEX MATH EXTENSION}
+
+
+
+
+
+\endencoding
+
+
+\section{Discussion}
+
+
+
+\end{document}