News for hackers. Stuff that matters.

A comment on WordTeX – A WYSIPCTWOTCG Typesetting Tool (2018) [video]. Parent comment

Re:WordTeX – A WYSIPCTWOTCG Typesetting Tool (2018) [video] by gumby on Saturday July 30, 2022 @07:05PM (#32291266)
I've always heard (since the 80s) lah-tek. But I've never asked Lamport whose pronunciation is presumably canonical
[ Parent | on HN ]

There are no comments on this comment yet.