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
    Feb 5 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. Feb 5 at 4:42
  • 1
    Yes, I tried that, but the thickness is not changed :(
    – yegor256
    Feb 5 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. Feb 5 at 4:49
  • 1
    My bad, \def\ruleScoreFiller{\hrule height 3pt} works!
    – yegor256
    Feb 5 at 4:51

You must log in to answer this question.

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