序曲和数学句法
Overture and Mathematical Syntax
是否可以将 VDM 数学语法与 Overture 一起使用，或者它是否仅限于 ASCII 语法。
或者，在生成 LaTeX 时，数学语法是否可以用于输出？
我几乎没有用过 LaTeX。我尝试获取输出 '.tex' 并在 TeX 文件中将 'forall' 替换为 '\forall'，然后重新生成 PDF，但只是在 PDF 中插入了 '\forall'。我厌倦了 '$\forall$' 结果相同。
顺便说一下，VDM 和 Overture 的结合创造了一个创建规范的绝佳环境。
唉，不，Overture 和 VDMJ 都不能使用数学符号。我相信 VDMTools 可以（它的打印很漂亮），但是为此在两者之间切换会很烦人。添加到 Overture 会相对容易，但可能用途有限？多年来我发现的一件事是数学符号对初学者来说是相当令人反感的。
下面的link总结了Overture和VDMTools的区别，并提到了pretty printer：
http://wiki.overturetool.org/index.php/Differences_between_Overture_and_VDMTools
我们很高兴听到您发现 Overture 很有用。如果您有任何问题或建议，请联系我们，我们会尽力提供帮助 - http://overturetool.org/.
是否可以将 VDM 数学语法与 Overture 一起使用，或者它是否仅限于 ASCII 语法。
或者，在生成 LaTeX 时，数学语法是否可以用于输出？
我几乎没有用过 LaTeX。我尝试获取输出 '.tex' 并在 TeX 文件中将 'forall' 替换为 '\forall'，然后重新生成 PDF，但只是在 PDF 中插入了 '\forall'。我厌倦了 '$\forall$' 结果相同。
顺便说一下，VDM 和 Overture 的结合创造了一个创建规范的绝佳环境。
唉，不，Overture 和 VDMJ 都不能使用数学符号。我相信 VDMTools 可以（它的打印很漂亮），但是为此在两者之间切换会很烦人。添加到 Overture 会相对容易，但可能用途有限？多年来我发现的一件事是数学符号对初学者来说是相当令人反感的。
下面的link总结了Overture和VDMTools的区别，并提到了pretty printer： http://wiki.overturetool.org/index.php/Differences_between_Overture_and_VDMTools
我们很高兴听到您发现 Overture 很有用。如果您有任何问题或建议，请联系我们，我们会尽力提供帮助 - http://overturetool.org/.