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

后端 未结 0 1459
-上瘾入骨i
-上瘾入骨i 2021-01-11 13:21

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<

相关标签:
回答
  • 消灭零回复
提交回复
热议问题