### B.9 ‘`texmext.enc`’: TeX math extension encoding ¶

    % @psencodingfile{
    %   author = "Donald Knuth",
    %   version = "1.0",
    %   date = "12jun05",
    %   filename = "texmext.enc",
    %   license = "public domain",
    %   email = "tex-fonts@tug.org",
    %   codetable = "ISO/ASCII",
    %   docstring = "TeX math extension encoding."
    % }
    %
    % 12jun05 - add header.
    %
    % 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