![How does one display an arbitrary programming language (e.g. Isabelle/Isar) in latex in their native display in *.pdf format? - Stack Overflow How does one display an arbitrary programming language (e.g. Isabelle/Isar) in latex in their native display in *.pdf format? - Stack Overflow](https://i.stack.imgur.com/goa4o.png)
How does one display an arbitrary programming language (e.g. Isabelle/Isar) in latex in their native display in *.pdf format? - Stack Overflow
![The Student's Guide to LaTeX Markup: What It Is and Why You Want It | by Matt Harzewski | The Startup | Medium The Student's Guide to LaTeX Markup: What It Is and Why You Want It | by Matt Harzewski | The Startup | Medium](https://miro.medium.com/v2/resize:fit:1400/1*Mjg4ip0EGdibrfq08lvkww.png)
The Student's Guide to LaTeX Markup: What It Is and Why You Want It | by Matt Harzewski | The Startup | Medium
![El blog del LaTeX fino: LaTeX, Beamer y otras cosas útiles by The LaTeX Expert!: LyX and LaTeX, tips and tricks El blog del LaTeX fino: LaTeX, Beamer y otras cosas útiles by The LaTeX Expert!: LyX and LaTeX, tips and tricks](http://www.dedoimedo.com/images/computers_years/2011_1/latex-tricks-c-code.png)