伊莎贝尔使用的标签语言在哪里定义？
Where is the label language used for Isabelle defined?
我正在阅读一些用 Isabelle 编写的校样，我发现了一个标签语法，我不知道它是从哪里来的。例如参见 [=11=] link。我在想像 \<guillemotleft> 这样的标签的含义，这不是不言自明的。
你能告诉我这个标签的作用吗？我怎样才能看到它的定义/描述？
最好阅读Isabelle/jEdit中的伊莎贝尔理论。你想知道的是所谓的"symbols"。在磁盘上，它们表示为类似 LaTeX 的命令，但在编辑器中，它们显示为已渲染。
如果您手边没有安装 Isabelle，您也可以转到我们的 Jenkins 实例并查看渲染形式的理论。
Here's your example.
符号可以（并且是大量）定制的。如果您想找出某个符号的来源，可以将鼠标悬停在它上面或按住 Ctrl 键单击它。
我正在阅读一些用 Isabelle 编写的校样，我发现了一个标签语法，我不知道它是从哪里来的。例如参见 [=11=] link。我在想像 \<guillemotleft> 这样的标签的含义，这不是不言自明的。
你能告诉我这个标签的作用吗？我怎样才能看到它的定义/描述？
最好阅读Isabelle/jEdit中的伊莎贝尔理论。你想知道的是所谓的"symbols"。在磁盘上，它们表示为类似 LaTeX 的命令，但在编辑器中，它们显示为已渲染。
如果您手边没有安装 Isabelle，您也可以转到我们的 Jenkins 实例并查看渲染形式的理论。 Here's your example.
符号可以（并且是大量）定制的。如果您想找出某个符号的来源，可以将鼠标悬停在它上面或按住 Ctrl 键单击它。