ARTEX
printout of artex users guide, november '82