是否可以将自定义符号引入 Isabelle 文本编辑器？

问题描述

所以我在 Isabelle 编辑器底部栏中的符号部分徘徊，我看到它包含一个版本的小写 theta 符号 \vartheta（来自 LaTeX）但是，它不包含 {{ 1}}（也来自 LaTeX）。可以介绍给编辑吗？

提前致谢！

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）