标签: z-notation

我只记得我的大学课程,并想知道是否有人在这里甚至在专业环境中使用"Z符号".老实说,我必须说这是我一生中参加过的最无聊的课程.也许是因为老师,但当时我们都认为这是浪费大量时间.我可能错了,这就是为什么我想听听你的意见.

如果您正在使用它或某些派生语言(Z ++),我只想知道它对您有用.只是好奇了解Z或您的应用程序的一些常见应用程序.

对于那些不熟悉的人:http://staff.washington.edu/jon/z/z-examples.html

是否有可能在LyX中创建Zed Notation方案？怎么做到呢？

是否有任何LaTeX软件包支持编写Z规范？我对模式的水平和垂直格式感兴趣.

我已经在维基上阅读了这两个概念的定义,但差异仍然不明确.有人能举例和一些简单的解释吗？