Форматирование строк в латексе в среде, нечувствительной к пробелам / Схема Z-нотации

Question

Я использую латекс для моделирования нескольких функций с использованием Z-нотации , однако у меня возникают проблемы с отображением строки для вывода.В этом сокращенном примере кода текст в кавычках имеет форматирование, отличное от того, которое я ожидал бы.Что можно использовать для того, чтобы форматирование текста внутри кавычек было одинаковым в фрагменте кода?

Редактировать: 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''.

Answer 2

Если вам нужен пробел между словами в вашей строке ''Output looks strange.'', попробуйте поставить тильду '~' между этими словами.Таким образом, ваша строка в конечном итоге становится ''Output~looks~strange.''