### `texmext.enc`: TeX math extension encoding

         % TeX math extension encoding.
         % No ligatures or kerns.
         %
         /TeXMathExtensionEncoding [          % now 256 chars follow

         % 0x0
         /parenleftbig
         /parenrightbig
         /bracketleftbig
         /bracketrightbig
         /floorleftbig
         /floorrightbig
         /ceilingleftbig
         /ceilingrightbig

         % 0x8
         /braceleftbig
         /bracerightbig
         /angbracketleftbig
         /angbracketrightbig
         /vextendsingle
         /vextenddouble
         /slashbig
         /backslashbig

         % 0x10
         /parenleftBig
         /parenrightBig
         /parenleftbigg
         /parenrightbigg
         /bracketleftbigg
         /bracketrightbigg
         /floorleftbigg
         /floorrightbigg

         % 0x18
         /ceilingleftbigg
         /ceilingrightbigg
         /braceleftbigg
         /bracerightbigg
         /angbracketleftbigg
         /angbracketrightbigg
         /slashbigg
         /backslashbigg

         % 0x20
         /parenleftBigg
         /parenrightBigg
         /bracketleftBigg
         /bracketrightBigg
         /floorleftBigg
         /floorrightBigg
         /ceilingleftBigg
         /ceilingrightBigg

         % 0x28
         /braceleftBigg
         /bracerightBigg
         /angbracketleftBigg
         /angbracketrightBigg
         /slashBigg
         /backslashBigg
         /slashBig
         /backslashBig

         % 0x30
         /parenlefttp
         /parenrighttp
         /bracketlefttp
         /bracketrighttp
         /bracketleftbt
         /bracketrightbt
         /bracketleftex
         /bracketrightex

         % 0x38
         /bracelefttp
         /bracerighttp
         /braceleftbt
         /bracerightbt
         /braceleftmid
         /bracerightmid
         /braceex
         /arrowvertex

         % 0x40
         /parenleftbt
         /parenrightbt
         /parenleftex
         /parenrightex
         /angbracketleftBig
         /angbracketrightBig
         /unionsqtext
         /unionsqdisplay

         % 0x48
         /contintegraltext
         /contintegraldisplay
         /circledottext
         /circledotdisplay
         /circleplustext
         /circleplusdisplay
         /circlemultiplytext
         /circlemultiplydisplay

         % 0x50
         /summationtext
         /producttext
         /integraltext
         /uniontext
         /intersectiontext
         /unionmultitext
         /logicalandtext
         /logicalortext

         % 0x58
         /summationdisplay
         /productdisplay
         /integraldisplay
         /uniondisplay
         /intersectiondisplay
         /unionmultidisplay
         /logicalanddisplay
         /logicalordisplay

         % 0x60
         /coproducttext
         /coproductdisplay
         /hatwide
         /hatwider
         /hatwidest
         /tildewide
         /tildewider
         /tildewidest

         % 0x68
         /bracketleftBig
         /bracketrightBig
         /floorleftBig
         /floorrightBig
         /ceilingleftBig
         /ceilingrightBig
         /braceleftBig
         /bracerightBig

         % 0x70
         /radicalbig
         /radicalBig
         /radicalbigg
         /radicalBigg
         /radicalbt
         /radicalvertex
         /radicaltp
         /arrowvertexdbl

         % 0x78
         /arrowtp
         /arrowbt
         /bracehtipdownleft
         /bracehtipdownright
         /bracehtipupleft
         /bracehtipupright
         /arrowdbltp
         /arrowdblbt

         % Have to have 128 .notdef's now to fill things out.
         %
         /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
         /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
         /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
         /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
         /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
         /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
         /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
         /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
         /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
         /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
         /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
         /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
         /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
         /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
         /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
         /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
         ] def