☰

lplfitch 包和“Overfull \hbox”

tag-icon • tag-icon boxes proof-package
lplfitch 包和“Overfull \hbox”

Overfull \hbox我使用 Fitch 图表、包获得了很多lplfitch。MWE：

\documentclass{article}
\usepackage{graphicx}
\usepackage{lplfitch}

\begin{document}
\begin{figure}
\noindent\fitchprf{}{
\pline[1.]{???}[???]\\
\subproof{\pline[2.]{???}[]}{
\pline[17.]{???}[???]
}
\pline[18.]{???}[???]
}
\caption{Formal proof of...}\label{fig:aaa}
\end{figure}
\end{document}

此示例仅生成一个错误。我认为这与缩进有关（对于每个级别我都会收到一个错误，不包括基本级别）。这是我的错误还是包的已知错误？

PDF 非常完美，但是对于每个图表我都会收到 5 个或更多警告...而这些警告仅出现在我的文档中，因此令人不安。

我刚刚注意到有一个更小的 MWE，没有图形：

\documentclass{article}
\usepackage{graphicx}
\usepackage{lplfitch}

\begin{document}
$$
\fitchprf{}{
\pline[1.]{???}[???]\\
\subproof{\pline[2.]{???}[]}{
\pline[17.]{???}[???]
}
\pline[18.]{???}[???]
}
$$
\end{document}

答案1

包中嵌套证明的编码不会过多关注累积宽度，但一个简单的改变就是在此时关闭 tex 警告，这不会影响输出，只会影响日志记录。

\documentclass{article}
\usepackage{graphicx}
\usepackage{lplfitch}
\renewcommand{\subproof}[2]{&\hfuzz\maxdimen\fitchprf{#1}{#2}\\}
\begin{document}

\[
\fitchprf{}{%
\pline[1.]{???}[???]\\%
\subproof{\pline[2.]{???}[]}{%
\pline[17.]{???}[???]%
}%
\pline[18.]{???}[???]%
}%
\]
\end{document}

相关内容