ЛАТЕКС, тильды и дословный режим
Я постараюсь объяснить это как можно проще.
A1: cur является именем переменной и указывает на объект Node в памяти. То же самое относится и к dummy, это указатель на объект в памяти.
A2: Поскольку вы делаете cur = dummy = Node(7), вы присваиваете обеим переменным один и тот же объект в памяти. Таким образом, когда он изменяется, обе переменные, указывающие на него, заметят это изменение. Но, поскольку на шаге 4 вы объявляете два объекта Node и назначаете их различным переменным, они изменятся независимо.
A3: это физическая область памяти на диске.
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 для больше.
Возможно, необходимо посмотреть на: ЛАТЕКСНЫЙ пакет, чтобы сделать подсветку синтаксиса кода на различных языках, который имеет предложения для набора кода...
Я принял это listing сделал бы это для Вас, но сбоя это alltt и fancyvrb альтернативы verbatim. Посмотрите этот поиск на CTAN для других возможностей.
Если вы используете команду листинга, вы можете установить тильду как буквальную. Likt this.
\documentclass
\usepackage{listings}
\lstset{
literate={~} {$\sim$}{1} % set tilde as a literal (no process)
}
\begin{document}
\begin{lstlisting}
~
\end{lstlisting}
\end{document}