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