LaTeX, тильды и дословный режим

Question

Исходя из этого вопроса , я совершенно ошеломлен тем, что заставляю LaTeX давать мне тильду, когда я нахожусь в дословном режиме. Это должно быть тильда, потому что это тип функции!

sig symm : (Board, [(Int, Int)]) ~> Bool

Стандартные методы отображения тильды, разумеется, печатаются дословно.

Есть предложения?

Правка для уточнения : При наборе ~ в дословном режиме ударение появляется над пробелом. Я после тильды, как это появляется в начале этого предложения.

Answer 1

Если есть некоторые символы, которые не встречаются при вводе, вы можете использовать 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 .

Answer 2

Если вы используете команду list, вы можете установить тильду буквальной. Нравится это.

\documentclass
\usepackage{listings}
\lstset{
    literate={~} {$\sim$}{1} % set tilde as a literal (no process)
}

\begin{document}

\begin{lstlisting}
~
\end{lstlisting}

\end{document}

Answer 3

Возможно, вам стоит взглянуть на: Пакет LaTeX для подсветки синтаксиса кода на разных языках , в котором есть предложения для набора кода ...

---

Я предполагал, что listing сделает это за вас, но при отсутствии alltt и fancyvrb являются альтернативами verbatim. См. этот поиск в CTAN для других возможностей.

Answer 4

\begin{verbatim}
~
\end{verbatim}