Un entorno para mostrar texto matemático en fuente mathttt con líneas en blanco en el medio (Isabelle)

Question

¿Cómo puedo crear un entorno que haga lo anterior? Quiero estar lo más cerca posible de Isabelle (ver foto). Mi mejor alternativa es definir un entorno comoen la respuesta a mi otra preguntae insertar $ $alrededor de cada carácter matemático que uso. Otro gran inconveniente de esta solución es que en un bloque de texto la primera línea no está alineada con el resto (como un párrafo en modo texto en látex). Idealmente, me gustaría poder dejar un espacio en blanco en el texto antes y después (como $$ $$lo hace), pero también poder formatear el texto de esta manera en línea (como $lo hace $). Vea la imagen para ver el tipo de resultado que quiero.

Answer 1

ComoYa lo dije en tu pregunta anterior., si desea incluir código, es posible que un entorno matemático no sea la mejor opción. Sugiero el listingspaquete en su lugar. La apariencia se puede personalizar de muchas maneras (resaltado de sintaxis, etc., consulte la documentación para obtener más detalles), pero el uso básico sería así:

\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}