% 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