3 ms·
In 2023, there's a good chance it was written in markdown and converted to latex anyway, so there's not even copy/paste going on.
by bachmeier 3y ago
In 2023, there's a good chance it was written in markdown and converted to latex anyway, so there's not even copy/paste going on.