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

发布于 2019-02-07 23:46:09
来自@lburski的解决方案可以工作,但tilde不是为了这个目的。它应该用来制造硬空间(非中断空间)。要在对空格不敏感的环境中写入空格,您需要对其进行转义-在每个空格之前写入反斜杠:''Output\ looks\ strange''。
发布于 2019-02-07 23:22:40
如果你想在字符串''Output looks strange.''中的单词之间留一个空格,那么试着在这些单词之间加一个波浪号'~‘。所以你的字符串最终变成了''Output~looks~strange.''
https://stackoverflow.com/questions/54566124
复制相似问题