Mathematische Symbole in verbatim-Umgebung

[joc]

Hallo zusammen, ich habe eine, wahrscheinlich etwas exotische Frage.
Ich möchte gerne mathematische Symbole in einer Verbatim- Umgebung benutzen. Also etwas in der Art:


\begin{verbatim}
k(1,2):-$\top$
\end{verbatim}

Dies wird im Moment natürlich eins zu eins so gesetzt, ich möchte aber, dass das Symbol $\top$ angezeigt wird. Ist das möglich und wenn ja wie?

Vielen Dank für die Antworten

Grüße Joc

[bobmalaria]

hi,

reicht dir auch sowas
\verb (1,2):- $\top$

gruß

[joc]

Nein eigentlich nicht...ich hätte das ganze schon in einer eigenen Umgebung.
Ich habe aber inzwischen selber eine Methode gefunden um das Ganze hinzubescheißen: Das Packet listings einbinden und als basicstyle ttfamily angeben


\usepackage{listings}
\lstset{basicstyle=\ttfamily}

Dann lässt sich das ganze so schreiben.


\begin{lstlisting}[mathescape]
kante(1,2):-$ \top $
\end{lstlisting}


Trotzdem danke

Joc