Re:WordTeX – A WYSIPCTWOTCG Typesetting Tool (2018) [video]
by amichail on Saturday July 30, 2022 @07:43PM
(#32291512)
Why didn't you use TeXmacs?
[ Parent
| on HN ]
There are no comments on this comment yet.