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