cf. src2tex.c.ps
cf. also FAQ
