lhs2tex-1.14: Examples/SeqBack.lhs

\documentclass{article}

%include polycode.fmt

%format `seq` = "\backtick{seq}"
\newcommand{\backtick}[1]{\;\mathsf{\text{\`{}}\!#1\!\text{\`{}}}\;}

\begin{document}
\begin{code}
`seq`
\end{code}
\end{document}