Eine Umgebung zum Anzeigen von mathematischem Text in der Schriftart „mathttt“ mit Leerzeilen dazwischen (Isabelle)

Question

Wie kann ich eine Umgebung erstellen, die das oben genannte tut? Ich möchte Isabelle so nahe wie möglich kommen (siehe Bild). Meine beste Alternative ist, eine Umgebung zu definieren alsin der Antwort auf meine andere Frageund füge $ $um jedes von mir verwendete mathematische Zeichen herum ein. Ein weiterer großer Nachteil dieser Lösung ist, dass in einem Textblock die erste Zeile nicht mit dem Rest ausgerichtet ist (wie ein Absatz im Textmodus in Latex). Idealerweise hätte ich gerne etwas Leerraum vor und nach dem Text lassen können (wie bei $$ $$dos), aber auch in der Lage sein, auf diese Weise formatierten Text inline zu formatieren (wie $bei $). Sehen Sie sich das Bild an, um das gewünschte Ergebnis zu sehen.

Answer 1

Alsbereits zu Ihrer vorherigen Frage gesagt, wenn Sie Code einbinden möchten, ist eine mathematische Umgebung möglicherweise nicht die beste Wahl. Ich schlage listingsstattdessen das Paket vor. Das Erscheinungsbild kann auf viele Arten angepasst werden (Syntaxhervorhebung usw., Einzelheiten finden Sie in der Dokumentation), aber die grundlegende Verwendung wäre wie folgt:

\documentclass{article}
\usepackage{listings}

\begin{document}

\begin{lstlisting}[basicstyle=\ttfamily,mathescape]
lemma inf_lim_larger_real:
    fixes M :: real and h :: "real $\Rightarrow$ real"
\end{lstlisting}    

\end{document}