The file dotseqn.dtx is `self-extracting' as well as self-documenting