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