上記のような環境をどうやって作ればいいのでしょうか?私はできるだけイザベルに近づきたいのです(写真参照)。私の最善の代替案は、環境を次のように定義することです。私の他の質問への回答でそして、$ $
使用するすべての数学文字の周囲に挿入します。このソリューションのもう 1 つの大きな欠点は、テキスト ブロックの最初の行が残りの行と揃わないことです (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}