사이에 빈 줄이 있는 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}