![bussproofs:如何使“prooftree”环境中的线条看起来更粗?](https://linux22.com/image/460645/bussproofs%EF%BC%9A%E5%A6%82%E4%BD%95%E4%BD%BF%E2%80%9Cprooftree%E2%80%9D%E7%8E%AF%E5%A2%83%E4%B8%AD%E7%9A%84%E7%BA%BF%E6%9D%A1%E7%9C%8B%E8%B5%B7%E6%9D%A5%E6%9B%B4%E7%B2%97%EF%BC%9F.png)
答案1
- 这不是答案,而是带有图片的评论:)。
- 这CTAN 条目包含示例文档。
- 当你放大示例文档,那么它看起来与您的屏幕截图不同。
- 在我的 PDF 查看器中,线宽根据缩放级别而有很大变化。
- 也许这个“发现”有帮助。
更新
本章5.3 Inference-line styles
听起来很有希望,不是吗?
结论
总之,该手册的以下部分至关重要:
“的默认设置
\ruleScoreFiller
是{\hrule}
,而在 LATEX 中,不合格的\hrule
命令会生成一条粗细为 0.4 pt 的水平线。要更改规则的粗细,请使用命令\def\ruleScoreFiller{\hrule height new-thickness}
。“