% TeX math extension % /TeXMathExtensionEncoding [ % /parenleftbig /parenrightbig /bracketleftbig /bracketrightbig /floorleftbig /floorrightbig /ceilingleftbig /ceilingrightbig % /braceleftbig /bracerightbig /angbracketleftbig /angbracketrightbig /vextendsingle /vextenddouble /slashbig /backslashbig % /parenleftBig /parenrightBig /parenleftbigg /parenrightbigg /bracketleftbigg /bracketrightbigg /floorleftbigg /floorrightbigg % /ceilingleftbigg /ceilingrightbigg /braceleftbigg /bracerightbigg /angbracketleftbigg /angbracketrightbigg /slashbigg /backslashbigg % /parenleftBigg /parenrightBigg /bracketleftBigg /bracketrightBigg /floorleftBigg /floorrightBigg /ceilingleftBigg /ceilingrightBigg % /braceleftBigg /bracerightBigg /angbracketleftBigg /angbracketrightBigg /slashBigg /backslashBigg /slashBig /backslashBig % /parenlefttp /parenrighttp /bracketlefttp /bracketrighttp /bracketleftbt /bracketrightbt /bracketleftex /bracketrightex % /bracelefttp /bracerighttp /braceleftbt /bracerightbt /braceleftmid /bracerightmid /braceex /arrowvertex % /parenleftbt /parenrightbt /parenleftex /parenrightex /angbracketleftBig /angbracketrightBig /unionsqtext /unionsqdisplay % /contintegraltext /contintegraldisplay /circledottext /circledotdisplay /circleplustext /circleplusdisplay /circlemultiplytext /circlemultiplydisplay % /summationtext /producttext /integraltext /uniontext /intersectiontext /unionmultitext /logicalandtext /logicalortext % /summationdisplay /productdisplay /integraldisplay /uniondisplay /intersectiondisplay /unionmultidisplay /logicalanddisplay /logicalordisplay % /coproducttext /coproductdisplay /hatwide /hatwider /hatwidest /tildewide /tildewider /tildewidest % /bracketleftBig /bracketrightBig /floorleftBig /floorrightBig /ceilingleftBig /ceilingrightBig /braceleftBig /bracerightBig % /radicalbig /radicalBig /radicalbigg /radicalBigg /radicalbt /radicalvertex /radicaltp /arrowvertexdbl % /arrowtp /arrowbt /bracehtipdownleft /bracehtipdownright /bracehtipupleft /bracehtipupright /arrowdbltp /arrowdblbt % /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef % /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef % /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef % /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef % /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef % /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef % /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef % /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef % /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef % /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef % /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef % /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef % /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef % /.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