cf. src2tex.c.ps
