間に空白行を入れた mathttt フォントで数式テキストを表示する環境 (Isabelle)

Question

上記のような環境をどうやって作ればいいのでしょうか？私はできるだけイザベルに近づきたいのです（写真参照）。私の最善の代替案は、環境を次のように定義することです。私の他の質問への回答でそして、$ $使用するすべての数学文字の周囲に挿入します。このソリューションのもう 1 つの大きな欠点は、テキスト ブロックの最初の行が残りの行と揃わないことです (LaTeX のテキスト モードの段落のように)。理想的には、テキストの前後にいくらかの空白スペースを残し (そのように$$ $$)、また、この方法でインラインで書式設定されたテキスト ( $$ のように) もできるようにしたいと思います。私が望む結果の種類については、画像を参照してください。

Answer 1

として前の質問ですでに述べたコードを組み込みたい場合、数式環境は最適な選択肢ではないかもしれません。listings代わりにパッケージをお勧めします。外観はさまざまな方法でカスタマイズできます (構文の強調表示など、詳細はドキュメントを参照) が、基本的な使用法は次のようになります。

\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}