2

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

在此处输入图像描述

4

2 回答 2

3

@lburski 的解决方案有效，但波浪号不是用于此目的。它应该用于制作硬空间（非破坏空间）。要在空白不敏感的环境中写入空格，您需要对其进行转义 - 在每个空格之前写入反斜杠：''Output\ looks\ strange''.

于 2019-02-07T15:46:08.520 回答
0

如果您想在字符串上的单词之间留一个空格，请''Output looks strange.''尝试在这些单词之间放置一个波浪号“~”。所以你的字符串最终成为''Output~looks~strange.''

于 2019-02-07T15:22:39.700 回答