Um ambiente para exibir texto matemático em fonte mathttt com linhas em branco entre (Isabelle)

Question

Como posso criar um ambiente que faça o que foi dito acima? Quero estar o mais próximo possível de Isabelle (ver foto). Minha melhor alternativa é definir um ambiente comona resposta à minha outra perguntae insira $ $em torno de cada caractere matemático que uso. Outra grande desvantagem desta solução é que em um bloco de texto a primeira linha não está alinhada com o resto (como um parágrafo em modo texto em látex). Idealmente, eu gostaria de poder deixar algum espaço em branco no texto antes e depois dele (como $$ $$acontece), mas também poder inserir o texto formatado dessa forma in-line (como $$ faz). Veja a imagem para o tipo de resultado que desejo.

Answer 1

Comojá disse para sua pergunta anterior, se você quiser incluir código, um ambiente matemático pode não ser a melhor escolha. Eu sugiro o listingspacote. A aparência pode ser personalizada de várias maneiras (destaque de sintaxe etc., consulte a documentação para obter detalhes), mas o uso básico seria assim:

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