Латекс, Тильды и дословный режим
на этот вопрос, я полностью в тупике, чтобы получить LaTeX, чтобы дать мне Тильду, когда я в дословном режиме. Это должна быть Тильда, потому что это тип функции!
sig symm : (Board, [(Int, Int)]) ~> Bool
стандартные методы отображения Тильды печатаются дословно, конечно..
какие предложения?
редактирование для уточнения: ввод ~ в дословном режиме дает акцент над пробелом. Я гоняюсь за Тильдой, как она появляется в начало этого предложения.
4 ответов
Если есть некоторые символы, которые не встречаются в вашем вводе, вы можете использовать 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 и fancyvrb альтернативы verbatim. См.этот поиск на CTAN для других возможностей.
Если вы используете команду listing, вы можете установить Тильду как литерал. Likt это.
\documentclass
\usepackage{listings}
\lstset{
literate={~} {$\sim$}{1} % set tilde as a literal (no process)
}
\begin{document}
\begin{lstlisting}
~
\end{lstlisting}
\end{document}