### B.10 ‘`texmsym.enc`’: TeX math symbol encoding ¶

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