Hacker News new | ask | show | jobs
by setopt 565 days ago
Which is unfortunate, since the students using a different TeX font often know more about TeX.