I have a very simple document using ebproof that I'd like to render to both PDF and HTML:
\documentclass[12pt, letterpaper]{report}
\usepackage[utf8]{inputenc}
\usepackage{ebproof}
\begin{document}
\begin{prooftree}
\hypo{ x {:} \sigma \in \Gamma }
\infer1[var]{ \Gamma \vdash x {:} \sigma}
\end{prooftree}
\end{document}
Right now, the PDF works perfectly, but the HTML from htlatex/tex4ht renders as
x:σ ∈ Γ __________ var Γ ⊢ x:σ
and HTML from pandoc renders as
1[var] x :
instead of
Is there an HTML conversion that can render this properly, or a way to configure one of the other tools to do so?