字符串格式化的乳胶中的空白不敏感的环境/ Z-符号模式

问题描述 投票:1回答:2

我使用的乳胶模型使用Z-Notation的一些功能,但是,我在显示输出字符串的问题。在此降低示例代码,在引号文本具有从什么,我会期待一个不同的格式。我能使用,以保持格式化引号内文字是在代码段的一样吗?

编辑:overDraftMessagemessageOutput,创造了降低例如当错过了改变这个。

\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}

enter image description here

latex tex xelatex z-notation xetex
2个回答
1
投票

从@lburski解决方案的工作,但波浪不是为了这个目的。它应该被用来做硬空间(不间断空格)。写在空白不敏感的环境空间,你需要逃避它 - 每一个空间之前写反斜杠:''Output\ looks\ strange''


0
投票

如果你想在字符串''Output looks strange.''单词之间的空间,然后尝试把波浪号“〜”这些话之间。所以,你的字符串结束是''Output~looks~strange.''

© www.soinside.com 2019 - 2024. All rights reserved.