lhs2tex-1.13: Examples/Backticks.lhs
\documentclass{article}
%include polycode.fmt
\begin{document}
> a `backticked` b
%subst backquoted a = "\mathbin{\let\Varid\mathbf{" a "}}"
> a `backticked` b
\end{document}
\documentclass{article}
%include polycode.fmt
\begin{document}
> a `backticked` b
%subst backquoted a = "\mathbin{\let\Varid\mathbf{" a "}}"
> a `backticked` b
\end{document}