Email Gateway (Jan 05 2023 at 02:33): Email Gateway (Jan 05 2023 at 02:33):From: Wolfgang Jeltsch <wolfgang@well-typed.com>
Hi!
I just started using Isabelle/VSCode but got stuck, because I often
don’t know how to enter special symbols. Outside of terms shortcuts that
don’t start with a backslash, like ==> for ⟹ and << for ‹ don’t work,
and inside terms not even those that start with a backslash work (a
completion window just won’t pop up). Any hints on what to do about
that?
All the best,
Wolfgang
Last updated: Jan 04 2025 at 20:18 UTC