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

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

这是代码:

\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}

我越来越:

在此处输入图片描述

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

答案1

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

在此处输入图片描述


我也尝试过\solidLine,但没有明显的效果。 在此处输入图片描述


更新

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

在此处输入图片描述

结论

总之,该手册的以下部分至关重要:

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

相关内容