Форматирование строк в латексе в среде, нечувствительной к пробелам / Схема 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.''