Topic: more latex?
Belisarius Cawl (Mar 24 2021 at 11:20):
Is there a general way to type prettier equations - for example something like \frac (which I can only get to result in fractions of concrete numbers, not expressions). Or maybe a plugin for vs code to pretty-print them? Or some other editor which does this?
Kevin Buzzard (Mar 24 2021 at 11:30):
Unfortunately you're stuck with unicode AFAIK.
Eric Wieser (Mar 24 2021 at 11:42):
https://marketplace.visualstudio.com/items?itemName=vs-publisher-1305558.VsTeXCommentsExtension looks close to what you want, but doesn't work for lean
Eric Wieser (Mar 24 2021 at 11:45):
Oh, thats for visual studio not vs-code
Last updated: Aug 03 2023 at 10:10 UTC