Следуя этому вопросу, Я совершенно запутался в том, чтобы заставить LaTeX выдавать мне тильду, когда я нахожусь в дословном режиме. Это должна быть тильда, потому что это тип функции!
sig symm : (Board, [(Int, Int)]) ~> Bool
Стандартные методы отображения тильды, конечно же, печатаются дословно.
Какие-либо предложения?
Исправление для пояснения: при вводе символа ~ в буквальном режиме над пустым пространством появляется ударение. Я ищу тильду в начале предложения.
Если в вашем вводе отсутствуют некоторые символы, вы можете использовать fancyvrb и его опцию commandchars для вставки команд TeX в дословный текст:
\documentclass{article}
\usepackage{fancyvrb}
\begin{document}
\newcommand{\mytilde}{$\sim$}
\begin{Verbatim}[commandchars=\\\{\}]
sig symm : (Board, [(Int, Int)]) \mytilde> Bool
\end{Verbatim}
\end{document}
Дополнительную информацию см. В документации по fancyvrb.
Возможно, вам стоит взглянуть на: пакет LaTeX для выполнения подсветка синтаксиса кода на разных языках, в котором есть предложения по набору кода ...
Я предполагал, что listing сделает это за вас, но в противном случае alltt и _ 3_ являются альтернативой verbatim. Дополнительные возможности см. В этом поиске в CTAN.
Если вы используете команду листинга, вы можете установить тильду как буквальную. Нравится это.
\documentclass
\usepackage{listings}
\lstset{
literate={~} {$\sim$}{1} % set tilde as a literal (no process)
}
\begin{document}
\begin{lstlisting}
~
\end{lstlisting}
\end{document}