JadeTeX is a TeX backend for Jade, for typesetting SGML documents