Stream: General

Topic: Getting Jedit to render math symbols consistently

view this post on Zulip Chengsong Tan (Mar 15 2024 at 21:27):

Hi,

Sometimes jedit does not render math symbols for me, but show their plain ascii source like this:
Screenshot-2024-03-15-at-21.27.10.png
How do I make sure it always renders math symbols for all documents?
I have the same issue on both Isabelle2021 and 2023.

Thanks a lot,
Chengsong

view this post on Zulip Mathias Fleury (Mar 16 2024 at 07:06):

https://isabelle.zulipchat.com/#narrow/stream/238552-Beginner-Questions/topic/Github/near/204994308

Last updated: May 01 2024 at 20:18 UTC