dvips -Pamz -Pcmz -o $1.ps $1.dvi
ps2pdf -dMaxSubsetPct=100 -dCompatibilityLevel=1.2 \
-dSubsetFonts=true -dEmbedAllFonts=true \
-dAutoFilterColorImages=false -dAutoFilterGrayImages=false \
-dColorImageFilter=/FlateEncode -dGrayImageFilter=/FlateEncode \
-dModoImageFilter=/FlateEncode $1.ps
Alternatively, you could use ps2gif to create a .GIF file.
The font image file acts as a menu from which any number of symbols can be selected.