Email Gateway (Aug 18 2022 at 19:56): Email Gateway (Aug 18 2022 at 19:56):From: Abdullah <mr.ab15@gmail.com>
hi all
I try to add some abbreviations to the framework such as (\<models>
and \<Diamond>). but is not appear in jEdit. however, when I add \<in>
is appear. I do not know where is the problem and why to of
abbreviations appear and other not.
Could you help me,,
Best Regards,
Email Gateway (Aug 18 2022 at 19:56):From: Makarius <makarius@sketis.net>
What exactly do you mean by "add" and "appear"? Did you try to change any
Isabelle configuration files or jEdit properties for it?
Anyway, in Isabelle2012/etc/symbols there are already many predefined
symbols, with unicode rendering and optional ASCII abbreviation. This
table coincides with the one for LaTeX, which is shown as Appendix B of
http://isabelle.in.tum.de/dist/Isabelle2012/doc/isar-ref.pdf
In particular see the predefined symbols:
\<turnstile>
\<Turnstile>
\<tturnstile>
\<TTurnstile>
\<diamond>
In principle, you can also define your own symbols in
$ISABELLE_HOME_USER/etc/symbols, but it requires some care and some
planning to avoid confusion with Unicode assignment, and other people who
don't have the same symbol table.
As a start it is better to use what is there already.
Makarius
Last updated: Apr 19 2024 at 08:19 UTC