用于以 mathttt 字体显示数学文本的环境，中间有空行（Isabelle）

Question

我如何创建一个可以实现上述功能的环境？我想尽可能接近 Isabelle（见图）。我最好的选择是将环境定义为在回答我的另一个问题时并插入$ $我使用的每个数学字符。此解决方案的另一个大缺点是，在文本块中，第一行与其余行不对齐（就像 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}