☰

ebproof 未定义控制序列 \hypo

tag-icon • tag-icon undefined proof-package
ebproof 未定义控制序列 \hypo

我正在尝试使用ebproof具有以下 MWE 的包：

\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 时出现以下错误：

$ pdflatex test.tex 
This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015/Debian) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./test.tex
LaTeX2e <2016/02/01>
Babel <3.9q> and hyphenation patterns for 81 language(s) loaded.
(/usr/share/texlive/texmf-dist/tex/latex/base/report.cls
Document Class: report 2014/09/29 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size12.clo))
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
(/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu)
(/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu)
(/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu)))
(/usr/share/texlive/texmf-dist/tex/latex/ebproof/ebproof.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.t
ex)))) (./test.aux)
! Undefined control sequence.
<recently read> \hypo 

l.8     \hypo
             { x {:} \sigma \in \Gamma }
? q
OK, entering \batchmode⏎

我不知道我做错了什么：/

我在 Linux Mint 18.1 上使用 TeX Live，并通过 Mint 的包管理器将其更新到最新版本。

答案1

ebproof 包的 1.1 版（2015 年 3 月 13 日）使用\Hypo和\Infer而不是\hypo和\infer。感谢 marmot 建议我使用texdoc ebproof。

作为一种解决方法，我已将其添加到我的序言中：

\newcommand\hypo{\Hypo}
\newcommand\infer{\Infer}

（这将使将来更新到 ebproof v2.0 或 TeXLive 2017 变得容易，而不会破坏我的 LaTeX 文档。）

或者安装 TeXLive 2017来自 PPA可以通过使用小写命令的 ebproof 2.0 版本修复该问题。（我本人实际上没有尝试过这种方法）。

相关内容