以 mathttt 字體顯示數學文字且中間有空行的環境 (Isabelle)

Question

如何建立執行上述操作的環境？我想盡可能靠近伊莎貝爾（見圖）。我最好的選擇是將環境定義為在我的另一個問題的回答中並插入$ $我使用的每個數學字元。這個解決方案的另一個大缺點是，在文字區塊中，第一行與其餘行不對齊（就像乳膠中文字模式下的段落一樣）。理想情況下，我希望能夠在文字前後留下一些空白（就像這樣$$ $$做），但也能夠以這種方式內聯格式化文字（就像$$ 那樣）。請參閱圖片以了解我想要的結果。

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}