“The standard typesetting language for scientific papers, described as a bottleneck for researchers.”

“Mathematical typesetting software Hamkins used as an undergraduate.”

“A document preparation system, built upon TeX.”