我使用的乳胶模型使用Z-Notation的一些功能,但是,我在显示输出字符串的问题。在此降低示例代码,在引号文本具有从什么,我会期待一个不同的格式。我能使用,以保持格式化引号内文字是在代码段的一样吗?
编辑:overDraftMessage
应messageOutput
,创造了降低例如当错过了改变这个。
\documentclass{article}
\usepackage{oz} % oz or z-eves or fuzz styles
\begin{document}
\begin{schema}{function}
messageOutput!: $STRING$ \\
\where
messageOutput! = ''Output looks strange.'' \\
\end{schema}
\end{document}
从@lburski解决方案的工作,但波浪不是为了这个目的。它应该被用来做硬空间(不间断空格)。写在空白不敏感的环境空间,你需要逃避它 - 每一个空间之前写反斜杠:''Output\ looks\ strange''
。
如果你想在字符串''Output looks strange.''
单词之间的空间,然后尝试把波浪号“〜”这些话之间。所以,你的字符串结束是''Output~looks~strange.''