summaryrefslogtreecommitdiff
path: root/fonts/utilities/mathinst/OMXlu.etx
diff options
context:
space:
mode:
Diffstat (limited to 'fonts/utilities/mathinst/OMXlu.etx')
-rw-r--r--fonts/utilities/mathinst/OMXlu.etx907
1 files changed, 907 insertions, 0 deletions
diff --git a/fonts/utilities/mathinst/OMXlu.etx b/fonts/utilities/mathinst/OMXlu.etx
new file mode 100644
index 0000000000..6977a2bdc3
--- /dev/null
+++ b/fonts/utilities/mathinst/OMXlu.etx
@@ -0,0 +1,907 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%
+%% This is the file OMXlu.etx, part of the MathInst package
+%% (version 1.0, August, 1998) for math font
+%% generation. (Author: Alan Hoenig, ajhjj@cunyvm.cuny.edu)
+%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\relax
+
+\encoding
+
+\needsfontinstversion{1.5}
+
+\comment{\section{Default values}}
+
+\setint{italicslant}{0}
+
+
+\comment{\section{Default font dimensions}}
+
+\setint{fontdimen(1)}{\int{italicslant}} % italic slant
+\setint{fontdimen(2)}{0} % interword space
+\setint{fontdimen(3)}{0} % interword stretch
+\setint{fontdimen(4)}{0} % interword shrink
+\setint{fontdimen(5)}{530} % x-height from lbme
+\setint{fontdimen(6)}{1000} % quad
+\setint{fontdimen(7)}{0} % extra space after .
+
+\comment{The following font dimensions are taken from lbme.}
+
+\setint{fontdimen(8)}{40} % (PARAMETER D 8 R 0.004)
+\setint{fontdimen(9)}{120} % (PARAMETER D 9 R 0.012)
+\setint{fontdimen(10)}{170} % (PARAMETER D 10 R 0.017)
+\setint{fontdimen(11)}{200} % (PARAMETER D 11 R 0.02)
+\setint{fontdimen(12)}{600} % (PARAMETER D 12 R 0.06)
+\setint{fontdimen(13)}{110} % (PARAMETER D 13 R 0.011)
+
+%\inputetx{OMX}
+\comment{\section{The encoding}
+ There are 128 glyphs in this encoding.}
+
+\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}
+ \endvarchar
+\endsetslot
+
+\setslot{bracerightmid}
+ \varchar
+ \varrep{arrowdblvertex}
+ \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{braceleftmid}
+ \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{contintegralmid}
+\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{integralmid}
+\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}
+ \nextlarger{integraltp}
+\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{hatwiderr}
+\endsetslot
+
+\setslot{hatwiderr}
+ \nextlarger{hatwide1}
+\endsetslot
+
+\setslot{tildewide}
+ \nextlarger{tildewider}
+\endsetslot
+
+\setslot{tildewider}
+ \nextlarger{tildewiderr}
+\endsetslot
+
+\setslot{tildewiderr}
+ \nextlarger{tildewide1}
+\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{arrowdblvertex}
+ \varchar
+ \vartop{arrowdbltp}
+ \varbot{arrowdblbt}
+ \varrep{arrowdblvertex}
+ \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{arrowdblvertex}
+ \endvarchar
+\endsetslot
+
+\setslot{arrowdblbt}
+ \varchar
+ \varbot{arrowdblbt}
+ \varrep{arrowdblvertex}
+ \endvarchar
+\endsetslot
+
+%% This is new, and names the glyphs in the upper part of the font.
+
+\nextslot{130}
+\setslot{openbracketleftbig}
+ \nextlarger{openbracketleftBig}
+\endsetslot
+
+\nextslot{131}
+\setslot{openbracketrightbig}
+ \nextlarger{openbracketrightBig}
+\endsetslot
+
+\nextslot{132}
+\setslot{openbracketleftBig}
+ \nextlarger{openbracketleftbigg}
+\endsetslot
+
+\nextslot{133}
+\setslot{openbracketrightBig}
+ \nextlarger{openbracketrightbigg}
+\endsetslot
+
+\nextslot{134}
+\setslot{openbracketleftbigg}
+ \nextlarger{openbracketleftBigg}
+\endsetslot
+
+\nextslot{135}
+\setslot{openbracketrightbigg}
+ \nextlarger{openbracketrightBigg}
+\endsetslot
+
+\nextslot{136}
+\setslot{openbracketleftBigg}
+ \nextlarger{openbracketlefttp}
+\endsetslot
+
+\nextslot{137}
+\setslot{openbracketrightBigg}
+ \nextlarger{openbracketrighttp}
+\endsetslot
+
+\nextslot{138}
+\setslot{openbracketlefttp}
+ \varchar
+ \vartop{openbracketlefttp}
+ \varbot{openbracketleftbt}
+ \varrep{openbracketleftex}
+ \endvarchar
+\endsetslot
+
+\nextslot{139}
+\setslot{openbracketrighttp}
+ \varchar
+ \vartop{openbracketrighttp}
+ \varbot{openbracketrightbt}
+ \varrep{openbracketrightex}
+ \endvarchar
+\endsetslot
+
+\nextslot{140}
+\setslot{openbracketleftbt}
+\endsetslot
+
+\nextslot{141}
+\setslot{openbracketrightbt}
+\endsetslot
+
+\nextslot{142}
+\setslot{openbracketleftex}
+ \varchar
+ \varrep{openbracketleftex}
+ \endvarchar
+\endsetslot
+
+\nextslot{143}
+\setslot{openbracketrightex}
+ \varchar
+ \varrep{openbracketrightex}
+ \endvarchar
+\endsetslot
+
+\nextslot{144}
+\setslot{surfintegraltext}
+ \nextlarger{surfintegralmid}
+\endsetslot
+
+\nextslot{145}
+\setslot{surfintegraldisplay}
+\endsetslot
+
+\nextslot{146}
+\setslot{integralmid}
+ \nextlarger{integraldisplay}
+\endsetslot
+
+\nextslot{147}
+\setslot{contintegralmid}
+ \nextlarger{contintegraldisplay}
+\endsetslot
+
+\nextslot{148}
+\setslot{surfintegralmid}
+ \nextlarger{surfintegraldisplay}
+\endsetslot
+
+\nextslot{149}
+\setslot{integraltp}
+ \varchar
+ \vartop{integraltp}
+ \varbot{integralbt}
+ \varrep{integralex}
+ \endvarchar
+\endsetslot
+
+\nextslot{150}
+\setslot{integralbt}
+ \varchar
+ \vartop{integraltp}
+ \varbot{integralbt}
+ \varrep{integralex}
+ \endvarchar
+\endsetslot
+
+\nextslot{151}
+\setslot{integralex}
+ \varchar
+ \varrep{integralex}
+ \endvarchar
+\endsetslot
+
+\nextslot{160}
+\setslot{space}
+\endsetslot
+
+\nextslot{197}
+\setslot{hatwide1}
+ \nextlarger{hatwider1}
+\endsetslot
+
+\nextslot{198}
+\setslot{hatwider1}
+\endsetslot
+
+\nextslot{199}
+\setslot{tildewide1}
+ \nextlarger{tildewider1}
+\endsetslot
+
+\nextslot{200}
+\setslot{tildewider1}
+\endsetslot
+
+\nextslot{208}
+\setslot{Gamma}
+\endsetslot
+
+\nextslot{209}
+\setslot{Delta}
+\endsetslot
+
+\nextslot{210}
+\setslot{Theta}
+\endsetslot
+
+\nextslot{211}
+\setslot{Lambda}
+\endsetslot
+
+\nextslot{212}
+\setslot{Xi}
+\endsetslot
+
+\nextslot{213}
+\setslot{Pi}
+\endsetslot
+
+\nextslot{214}
+\setslot{Sigma}
+\endsetslot
+
+\nextslot{215}
+\setslot{Upsilon}
+\endsetslot
+
+\nextslot{216}
+\setslot{Phi}
+\endsetslot
+
+\nextslot{217}
+\setslot{Psi}
+\endsetslot
+
+\nextslot{218}
+\setslot{Omega}
+\endsetslot
+
+\nextslot{252}
+\setslot{negeighteenthem}
+\endsetslot
+
+\nextslot{253}
+\setslot{eighteenthem}
+\endsetslot
+
+\nextslot{254}
+\setslot{eighthem}
+\endsetslot
+
+\nextslot{255}
+\setslot{tenthem}
+\endsetslot
+
+\endencoding
+
+%% Comment WARNING: ascendible characters (92) % macro - PS charname
+%% Comment Ascending 0, 16, 18, 32, 48 % ( - parenleft
+%% Comment Ascending 1, 17, 19, 33, 49 % ) - parenright
+%% Comment Ascending 2, 104, 20, 34, 50 % [ - bracketleft
+%% Comment Ascending 3, 105, 21, 35, 51 % ] - bracketright
+%% Comment Ascending 4, 106, 22, 36, 52 % lfloor - floorleft
+%% Comment Ascending 5, 107, 23, 37, 53 % rfloor - floorright
+%% Comment Ascending 6, 108, 24, 38, 54 % lceil - ceilingleft
+%% Comment Ascending 7, 109, 25, 39, 55 % rceil - ceilingright
+%% Comment Ascending 8, 110, 26, 40, 56 % { - braceleft
+%% Comment Ascending 9, 111, 27, 41, 57 % } - braceright
+%% Comment Ascending 10, 68, 28, 42 % < - anglebracketleft
+%% Comment Ascending 11, 69, 29, 43 % > - anglebracketright
+%% Comment Ascending 14, 46, 30, 44 % / - slash
+%% Comment Ascending 15, 47, 31, 45 % \ - backslash
+%% Comment Ascending 70, 71 % bigsqcup - unionsq
+%% Comment Ascending 72, 73 % oint - contintegral
+%% Comment Ascending 74, 75 % bigodot - circledot
+%% Comment Ascending 76, 77 % bigoplus - circleplus
+%% Comment Ascending 78, 79 % bigotimes - circlemultiply
+%% Comment Ascending 80, 88 % sum - summation
+%% Comment Ascending 81, 89 % prod - product
+%% Comment Ascending 82, 90 % int - integral
+%% Comment Ascending 83, 91 % bigcup - union
+%% Comment Ascending 84, 92 % bigcap - intersection
+%% Comment Ascending 85, 93 % biguplus - unionmulti
+%% Comment Ascending 86, 94 % bigwedge - logicaland
+%% Comment Ascending 87, 95 % bigvee - logicalor
+%% Comment Ascending 96, 97 % coprod - coproduct
+%% Comment Ascending 98, 99, 100, 197, 198 % widehat - hatwide
+%% Comment Ascending 101, 102, 103, 199, 200 % widetilde - tildewide
+%% Comment Ascending 112, 113, 114, 115, 116 % radical - sqrt
+%% Comment Ascending 130, 132, 134, 136, 138 % [[ openbracketleft
+%% Comment Ascending 131, 133, 135, 137, 139 % ]] openbracketright
+%% Comment Ascending 144, 145 % surfint - surfintegral
+%% Comment WARNING: extensible characters (31)
+%% Comment Extensible 12 top 0 mid 0 bot 0 rep 12 % vert - thin bar
+%% Comment Extensible 13 top 0 mid 0 bot 0 rep 13 % Vert - thin double bar
+%% Comment Extensible 48 top 48 mid 0 bot 64 rep 66 % ( - parenleft
+%% Comment Extensible 49 top 49 mid 0 bot 65 rep 67 % ) - parenright
+%% Comment Extensible 50 top 50 mid 0 bot 52 rep 54 % [ - bracketleft
+%% Comment Extensible 51 top 51 mid 0 bot 53 rep 55 % ] - bracketright
+%% Comment Extensible 52 top 0 mid 0 bot 52 rep 54 % lfloor - floorleft
+%% Comment Extensible 53 top 0 mid 0 bot 53 rep 55 % rfloor - floorright
+%% Comment Extensible 54 top 50 mid 0 bot 0 rep 54 % lceil - ceilingleft
+%% Comment Extensible 55 top 51 mid 0 bot 0 rep 55 % rceil - ceilingright
+%% Comment Extensible 56 top 56 mid 60 bot 58 rep 62 % { - braceleft
+%% Comment Extensible 57 top 57 mid 61 bot 59 rep 62 % } - braceright
+%% Comment Extensible 58 top 56 mid 0 bot 58 rep 62 % lgroup
+%% Comment Extensible 59 top 57 mid 0 bot 59 rep 62 % rgroup
+%% Comment Extensible 60 top 0 mid 0 bot 0 rep 63 % arrowvert
+%% Comment Extensible 61 top 0 mid 0 bot 0 rep 119 % Arrowvert
+%% Comment Extensible 62 top 0 mid 0 bot 0 rep 62 % bracevert
+%% Comment Extensible 63 top 120 mid 0 bot 121 rep 63 % updownarrow
+%% Comment Extensible 64 top 56 mid 0 bot 59 rep 62 % lmoustache
+%% Comment Extensible 65 top 57 mid 0 bot 58 rep 62 % rmoustache
+%% Comment Extensible 66 top 0 mid 0 bot 0 rep 66 % - parenleftexten
+%% Comment Extensible 67 top 0 mid 0 bot 0 rep 67 % - parenrightexten
+%% Comment Extensible 116 top 118 mid 0 bot 116 rep 117 % radical
+%% Comment Extensible 119 top 126 mid 0 bot 127 rep 119 % Updownarrow
+%% Comment Extensible 120 top 120 mid 0 bot 0 rep 63 % uparrow
+%% Comment Extensible 121 top 0 mid 0 bot 121 rep 63 % downarrow
+%% Comment Extensible 126 top 126 mid 0 bot 0 rep 119 % Uparrow
+%% Comment Extensible 127 top 0 mid 0 bot 127 rep 119 % Downarrow
+%% Comment Extensible 138 top 138 mid 0 bot 140 rep 142 % openbracketleft
+%% Comment Extensible 139 top 139 mid 0 bot 141 rep 143 % openbracketright
+%% Comment Extensible 149 top 149 mid 0 bot 150 rep 151 % largeintegral
+
+