News for hackers. Stuff that matters.
Re:Ask HN: What LaTeX editor do you use? by przefur on Friday August 26, 2022 @07:06AM (#32605805)
Seconding this, I'm using the same and it just works.

There are no comments on this comment yet.