Zulip Chat Archive

Stream: general

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: Dec 20 2023 at 11:08 UTC