LaTeX-based typesetting language