I am trying to typeset some Isar code such as in LaTeX (in an ad-hoc fashion).
However, I can't find anything like this symbol
and I don't know what it's called. In Isabelle you can write it as
\<bar> but the LaTeX
\bar is something different I believe.