Re: [isabelle] Add abbreviations in jEdit

On Fri, 25 May 2012, Abdullah wrote:

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.

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

In particular see the predefined symbols:


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.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.