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!

Answer 1

等待大神答复