math - Is it possible to introduce custom symbols into the Isabelle text editor?

Question

So I was wandering around the symbols section in the bottom bar of the Isabelle editor and I saw that it included one version of the lowercase theta symbol vartheta (from LaTeX) however, it didn't include heta (also from LaTeX). Is it possible to introduce it to the editor?

Thanks in advance!

question from:https://stackoverflow.com/questions/65662076/is-it-possible-to-introduce-custom-symbols-into-the-isabelle-text-editor

Answer 1

Waitting for answers