Isabelle symbols outside its editor

Symbols Conversion isabelle2unicode Use in git Use in cgit Mail Client Extension Firefox Comfortable software References If you’ve ever used Isabelle, and taken a peak at the files you’re writing in any editor that is not one Isabelle is intended to be used with, you’ll be familiar with the funny escape sequences it uses to represent non-ASCII characters: Perhaps you’ve even gone through a stage…