使用 ebproof 将文档转换为 HTML？

Question

我有一个使用 ebproof 的非常简单的文档，我想将其呈现为 PDF 和 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}

目前，PDF 可以完美运行，但 htlatex/tex4ht 的 HTML 呈现为

x:σ ∈ Γ __________ var Γ ⊢ x:σ

pandoc 中的 HTML 呈现为

1[变量] x ：

代替

是否有可以正确呈现该内容的 HTML 转换，或者是否有办法配置其他工具来执行此操作？

Answer 1

您可以使用 配置prooftree环境来生成图像tex4ht。当然，生成干净的 HTML 或 MathML 代码会更好，所以我将尝试稍后再研究这个问题。

尝试以下配置文件mycfg.cfg：

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

该\Picture* ... \EndPicuture命令要求将所包含的代码转换为图像。它被插入到prooftree使用\ConfigureEnv命令的环境周围。

使用编译文档

make4ht -c mycfg.cfg filename.tex

制作4小时是 的构建系统tex4ht，它是否htlatex具有更多功能的替代品。

结果如下：