Language for typesetting mathematics.
"A System for Typesetting Mathematics", B.W. Kernighan and L.L. Cherry, CACM 18(3):151-157 (Mar 1975).
Nearby terms: EqL « EQLOG « EQLog « Eqn » equals » equational logic » Equel
