Laurenz Mädje (the other founder) did too: https://www.user.tu-berlin.de/laurmaedje/programmable-markup-language-for-typesetting.pdf https://www.user.tu-berlin

Laurenz Mädje (the other founder) did too: https://www.user.tu-berlin.de/laurmaedje/programmable-markup-language-for-typesetting.pdf https://www.user.tu-berlin.de/laurmaedje/programmable-markup...