LaTeX, टाइल्ड और शब्दशः मोड

Question

this question से जारी रखते हुए, मैं पूरी तरह मुझे एक टिल्ड देने के लिए जब मैं शब्दशः मोड में कर रहा हूँ LaTeX हो रही पर स्टम्प्ड रहा हूँ। यह एक टिल्डे होना चाहिए क्योंकि यह एक समारोह का प्रकार है! एक टिल्ड प्रदर्शित करने के लिए

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

स्टैंडर्ड तरीकों ज़ाहिर है, शब्दशः मुद्रित कर रहे हैं ..

कोई सुझाव?

एक संपादित स्पष्ट करने के लिए: शब्दशः मोड में एक ~ लिखने से एक रिक्त स्थान के ऊपर एक लहजे देता है। मैं एक वाक्य के बाद हूं क्योंकि यह इस वाक्य की शुरुआत में दिखाई देता है।

Answer 1

वहाँ कुछ अक्षर हैं जो अपने इनपुट में नहीं होतीं हैं, तो आप शब्दशः पाठ के भीतर टेक्स आदेशों को सम्मिलित करने के fancyvrb और उसके commandchars विकल्प का उपयोग कर सकते हैं:

\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 package to do syntax highlighting of code in various languages जो टाइपसेटिंग कोड के लिए सुझाव है ...

---

मैं मान लिया है कि listing यह तुम्हारे लिए क्या करेंगे, लेकिन नाकाम रहने कि alltt और fancyvrbverbatim लिए विकल्प हैं। अन्य संभावनाओं के लिए this search on CTAN देखें।

Answer 3

\begin{verbatim} 
~ 
\end{verbatim} 

Answer 4

आप सूची आदेश का उपयोग कर रहे हैं, तो आप टिल्ड सेट शाब्दिक हो सकता है। यह पसंद है।

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

\begin{document} 

\begin{lstlisting} 
~ 
\end{lstlisting} 

\end{document}