This is the code:

\AxiomC{$a < b$}
\AxiomC{$b < c$}
\BinaryInfC{$ a < c $}

I'm getting:

enter image description here

As you see, that the horizontal bar is thiner than the lines of the < and > symbols. The problem is that the weight of the bar is fixed, while the weight of the lines in the symbols depends on the font size. How can I change the thickness of the bar?

1 Answer 1

  • Not an answer, a comment with pictures :).
  • The CTAN entry contains an example document.
  • When you zoom into the example document, then it looks different from your screenshot.
  • In my PDF viewer, the line width varies a lot depending on the zoom level.
  • Maybe this "discovery" helps.

enter image description here

I also tried \solidLine but with no visible effect on my end. enter image description here


Chapter 5.3 Inference-line styles sound promising, or not?

enter image description here


In conclusion, the following part of the manual was crucial:

"The default setting of \ruleScoreFiller is {\hrule}, and in LATEX an unqualified \hrulecommand produces a horizontal line of thickness 0.4 pt. To change the rule’s thickness, use the command \def\ruleScoreFiller{\hrule height new-thickness}."

  • That's because the font is 11pt (or so) in the document :)
    – yegor256
    Commented Feb 5, 2023 at 4:38
  • @yegor256 Did you have a look at Chapter 5.3 Inference-line styles? I am not skilled enough to dig deeper but it sounds at least related. See edit. Commented Feb 5, 2023 at 4:42
  • 1
    Yes, I tried that, but the thickness is not changed :(
    – yegor256
    Commented Feb 5, 2023 at 4:47
  • @yegor256 Going offline now but if I were you I would add your attempt to change the line width to your MWE so that others do not have to search the manual for longer than needed. Commented Feb 5, 2023 at 4:49
  • 1
    My bad, \def\ruleScoreFiller{\hrule height 3pt} works!
    – yegor256
    Commented Feb 5, 2023 at 4:51

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .