% 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