latex - 在空白不敏感环境/Z 表示法模式下 Latex 中字符串的格式化

Question

我正在使用 Latex 使用 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}

Answer 1

@lburski 的解决方案有效，但波浪号不适用于此目的。它应该用来制作硬空间(不间断空间)。要在空格不敏感的环境中写入空格，您需要对其进行转义 - 在每个空格之前写入反斜杠:''Output\looks\strange''。