latex - LaTeX、チルダ、逐語モード

Question

この質問に続いて、逐語モードのときにLaTeXにチルダを与えることに完全に困惑しています。関数の型なので、チルダでなければなりません!

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

もちろん、チルダを表示するための標準的な方法は、逐語的に出力されます..

助言がありますか？

明確にするための編集: verbatim モードで ~ を入力すると、空白の上にアクセントが付きます。この文の冒頭にあるチルダを使用しています。

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

おそらく、次を参照してください:さまざまな言語でコードの構文強調表示を行う LaTeX パッケージには、コードの組版に関する提案があります...

---

私listingはそれがあなたのためにそれをするだろうと思いましたが、それを失敗するallttと とfancyvrbの代わりになりverbatimます. 他の可能性については、CTAN でこの検索を参照してください。

Answer 3

リスト コマンドを使用している場合は、チルダをリテラルに設定できます。これを傾けます。

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

\begin{document}

\begin{lstlisting}
~
\end{lstlisting}

\end{document}

Answer 4

\begin{verbatim}
~
\end{verbatim}