From article <0096B11B.08A283A0@vms.csd.mu.edu>, by 2a42dubinski@vms.csd.mu.edu:

Try using the extended character set  (Alt-####  sequences) . . 
look in Character Map in the Accessories group and see the alt-sequence
for the font you want!
