% Computer Modern Math Extension encoding vector
/CMMathExtensionEncoding [
% 0x00
   /bigparenleft /bigparenright /bigbracketleft /bigbracketright
   /bigfloorleft /bigfloorright /bigceilingleft /bigceilingright
   /bigbraceleft /bigbraceright /bigangleleft /bigangleright /vertex
   /vertdblex /bigslash /bigbackslash
% 0x10
   /Bigparenleft /Bigparenright /biggparenleft /biggparenright
   /biggbracketleft /biggbracketright /biggfloorleft /biggfloorright
   /biggceilingleft /biggceilingright /biggbraceleft /biggbraceright
   /biggangleleft /biggangleright /biggslash /biggbackslash
% 0x20
   /Biggparenleft /Biggparenright /Biggbracketleft /Biggbracketright
   /Biggfloorleft /Biggfloorright /Biggceilingleft /Biggceilingright
   /Biggbraceleft /Biggbraceright /Biggangleleft /Biggangleright
   /Biggslash /Biggbackslash /Bigslash /Bigbackslash
% 0x30
   /parenlefttp /parenrighttp /bracketlefttp /bracketrighttp /bracketleftbt
   /bracketrighttp /bracketleftex /bracketrightex /bracelefttp /bracerighttp
   /braceleftbt /bracerightbt /braceleftmid /bracerightmid /braceex
   /arrowvertex
% 0x40
   /parenleftbt /parenrightbt /parenleftex /parenrightex /Bigleftangle
   /Bigrightangle /unionsq /bigunionsq /loopintegral /bigloopintegral
   /circledot /bigcircledot /circleplus /bigcircleplus /circlemultiply
   /bigcirclemultiply
% 0x50
   /summation /product /integral /union /intersection /unionplus /logicaland
   /logicalor /bigsummation /bigproduct /bigintegral /bigunion
   /bigintersection /bigunionplus /biglogicaland /biglogicalor 
% 0x60
   /productdown /bigproductdown /bigcircumflex /Bigcircumflex /biggcircumflex
   /bigtilde /Bigtilde /biggtilde /Bigbracketleft /Bigbracketright
   /Bigfloorleft /Bigfloorright /Bigceilingleft /Bigceilingright /Bigbraceleft
   /Bigbraceright
% 0x70
   /radical /bigradical /Bigradical /biggradical /radicalbt
   /radicalvertex /radicalcornerex /arrowdblvertex /arrowup /arrowdown
   /bracetopleft /bracetopright /bracebotleft /bracebotright /arrowdblup
   /arrowdbldown
% 0x80
   /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
   /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
% 0x90
   /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
   /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
% 0xA0
   /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
   /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
% 0xB0
   /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
   /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
% 0xC0
   /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
   /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
% 0xD0
   /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
   /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
% 0xE0
   /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
   /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
% 0xF0
   /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
   /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
] def