Warning: file_get_contents(/data/phpspider/zhask/data//catemap/2/ionic-framework/2.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Isabelle 如何输入伊莎贝尔/杰迪特中集合论中的符号？_Isabelle_Jedit - Fatal编程技术网
Fatal编程技术网
  • isabelle/
  • Isabelle 如何输入伊莎贝尔/杰迪特中集合论中的符号？

Isabelle 如何输入伊莎贝尔/杰迪特中集合论中的符号？

isabelle

Isabelle 如何输入伊莎贝尔/杰迪特中集合论中的符号？,isabelle,jedit,Isabelle,Jedit,我怎样才能输入像这样的符号∈, ⊆, ∪, 及∩ 伊莎贝尔/杰迪特？Isabelle/HOL教程说，我应该输入“：”，“您可以键入\然后使用tab键选择所需符号，还可以使用上/下箭头键从选项中进行选择。当所需符号出现在建议符号列表的顶部时，我使用tab键 还有⊆, 我使用“（=”

我怎样才能输入像这样的符号∈, ⊆, ∪, 及∩ 伊莎贝尔/杰迪特？Isabelle/HOL教程说，我应该输入“：”，“您可以键入\然后使用tab键选择所需符号，还可以使用上/下箭头键从选项中进行选择。

当所需符号出现在建议符号列表的顶部时，我使用tab键

还有⊆, 我使用“（=”