Convert a document using ebproof to HTML?

Question

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?

Answer 1

You can configure the prooftree environment to produce image with tex4ht. It would be better to produce clean HTML or MathML code, of course, so I will try to look at this issue later.

Try the following configuration file, mycfg.cfg:

\Preamble{xhtml}
\ConfigureEnv{prooftree}{\Picture*{}}{\EndPicture}{}{}
\begin{document}
\EndPreamble

The \Picture* ... \EndPicuture command requests conversion of the contained code to image. It is inserted around the prooftree environment using \ConfigureEnv command.

Compile the document using

make4ht -c mycfg.cfg filename.tex

make4ht is build system for tex4ht, is it replacement for htlatex with much more features.

This is the result: