LaTeX, dấu ngã và chế độ nguyên văn

Question

Theo sau từ this question, tôi hoàn toàn bối rối khi đưa LaTeX cho tôi dấu ngã khi tôi ở chế độ nguyên văn. Nó phải là dấu ngã bởi vì đó là loại hàm!

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

phương pháp tiêu chuẩn để hiển thị một dấu ngã được in đúng nguyên văn, tất nhiên ..

Bất kỳ lời đề nghị?

Chỉnh sửa để làm rõ: Nhập a ~ ở chế độ nguyên văn sẽ tạo điểm nhấn phía trên khoảng trống. Tôi sau một dấu ngã khi nó xuất hiện ở đầu câu này.

Answer 1

Nếu có một số ký tự không xảy ra ở đầu vào của bạn, bạn có thể sử dụng fancyvrb và tùy chọn commandchars của nó để chèn lệnh TeX trong văn bản đúng nguyên văn:

\documentclass{article} 
\usepackage{fancyvrb} 
\begin{document} 
\newcommand{\mytilde}{$\sim$} 
\begin{Verbatim}[commandchars=\\\{\}] 
sig symm : (Board, [(Int, Int)]) \mytilde> Bool 
\end{Verbatim} 
\end{document} 

Xem tài liệu của fancyvrb để biết thêm .

Answer 2

Có lẽ bạn nên xem xét: LaTeX package to do syntax highlighting of code in various languages trong đó có gợi ý cho mã sắp chữ ...

---

Tôi cho rằng listing sẽ làm điều đó cho bạn, nhưng thất bại đó alltt và fancyvrb là lựa chọn thay thế để verbatim. Xem this search on CTAN để biết các khả năng khác.

Answer 3

\begin{verbatim} 
~ 
\end{verbatim} 

Answer 4

Nếu bạn đang sử dụng lệnh liệt kê, bạn có thể đặt dấu ngã thành chữ. Thích cái này.

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

\begin{document} 

\begin{lstlisting} 
~ 
\end{lstlisting} 

\end{document}