bussproofs：如何使“prooftree”环境中的线条看起来更粗？

Question

这是代码：

\documentclass{article}
\usepackage{bussproofs}
\usepackage[fontsize=32pt]{fontsize}
\begin{document}
\begin{prooftree}
\AxiomC{$a < b$}
\AxiomC{$b < c$}
\BinaryInfC{$ a < c $}
\end{prooftree}
\end{document}

我越来越：

<如您所见，水平条比和符号的线条更细>。问题在于，条的粗细是固定的，而符号中的线条粗细取决于字体大小。我该如何更改条的粗细？

Answer 1

• 这不是答案，而是带有图片的评论:)。
• 这CTAN 条目包含示例文档。
• 当你放大示例文档，那么它看起来与您的屏幕截图不同。
• 在我的 PDF 查看器中，线宽根据缩放级别而有很大变化。
• 也许这个“发现”有帮助。

---

我也尝试过\solidLine，但没有明显的效果。

---

更新

本章5.3 Inference-line styles听起来很有希望，不是吗？

结论

总之，该手册的以下部分至关重要：

“的默认设置\ruleScoreFiller是{\hrule}，而在 LATEX 中，不合格的\hrule命令会生成一条粗细为 0.4 pt 的水平线。要更改规则的粗细，请使用命令\def\ruleScoreFiller{\hrule height new-thickness}。“