Следуя этому вопросу, Я совершенно запутался в том, чтобы заставить LaTeX выдавать мне тильду, когда я нахожусь в дословном режиме. Это должна быть тильда, потому что это тип функции!
sig symm : (Board, [(Int, Int)]) ~> Bool
Стандартные методы отображения тильды, конечно же, печатаются дословно.
Какие-либо предложения?
Исправление для пояснения: при вводе символа ~ в буквальном режиме над пустым пространством появляется ударение. Я ищу тильду в начале предложения.