Среда для отображения математического текста шрифтом mathttt с пустыми строками между ними (Изабель)

Question

Как мне создать среду, которая делает вышеперечисленное? Я хочу быть как можно ближе к Изабель (см. картинку). Лучшая альтернатива — определить среду какв ответе на мой другой вопроси вставлять $ $вокруг каждого используемого мной математического символа. Еще один большой недостаток этого решения заключается в том, что в блоке текста первая строка не выровнена с остальными (как абзац в текстовом режиме в 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}