Zulip Chat Archive

Stream: general

Topic: more latex?


view this post on Zulip 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?

view this post on Zulip Kevin Buzzard (Mar 24 2021 at 11:30):

Unfortunately you're stuck with unicode AFAIK.

view this post on Zulip 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

view this post on Zulip Eric Wieser (Mar 24 2021 at 11:45):

Oh, thats for visual studio not vs-code


Last updated: May 11 2021 at 00:31 UTC