### `texmsym.enc`: TeX math symbol encoding

         % TeX math symbols encoding.
         % No ligatures or kerns.
         %
         /TeXMathSymbolEncoding [          % now 256 chars follow
         % 0x0
         /minus
         /periodcentered
         /multiply
         /asteriskmath
         /divide
         /diamondmath
         /plusminus
         /minusplus

         % 0x8
         /circleplus
         /circleminus
         /circlemultiply
         /circledivide
         /circledot
         /circlecopyrt
         /openbullet
         /bullet

         % 0x10
         /equivasymptotic
         /equivalence
         /reflexsubset
         /reflexsuperset
         /lessequal
         /greaterequal
         /precedesequal
         /followsequal

         % 0x18
         /similar
         /approxequal
         /propersubset
         /propersuperset
         /lessmuch
         /greatermuch
         /precedes
         /follows

         % 0x20
         /arrowleft
         /arrowright
         /arrowup
         /arrowdown
         /arrowboth
         /arrownortheast
         /arrowsoutheast
         /similarequal

         % 0x28
         /arrowdblleft
         /arrowdblright
         /arrowdblup
         /arrowdbldown
         /arrowdblboth
         /arrownorthwest
         /arrowsouthwest
         /proportional

         % 0x30
         /prime
         /infinity
         /element
         /owner
         /triangle
         /triangleinv
         /negationslash
         /mapsto

         % 0x38
         /universal
         /existential
         /logicalnot
         /emptyset
         /Rfractur
         /Ifractur
         /latticetop
         /perpendicular

         % 0x40
         /aleph
         /A
         /B
         /C
         /D
         /E
         /F
         /G

         % 0x48
         /H
         /I
         /J
         /K
         /L
         /M
         /N
         /O

         % 0x50
         /P
         /Q
         /R
         /S
         /T
         /U
         /V
         /W

         % 0x58
         /X
         /Y
         /Z
         /union
         /intersection
         /unionmulti
         /logicaland
         /logicalor

         % 0x60
         /turnstileleft
         /turnstileright
         /floorleft
         /floorright
         /ceilingleft
         /ceilingright
         /braceleft
         /braceright

         % 0x68
         /angbracketleft
         /angbracketright
         /bar
         /bardbl
         /arrowbothv
         /arrowdblbothv
         /backslash
         /wreathproduct

         % 0x70
         /radical
         /coproduct
         /nabla
         /integral
         /unionsq
         /intersectionsq
         /subsetsqequal
         /supersetsqequal

         % 0x78
         /section
         /dagger
         /daggerdbl
         /paragraph
         /club
         /diamond
         /heart
         /spade

         % 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