1

How do I use \LeftLabel{} and \RightLabel{} along with just \AxiomC{}?

The following only displays the axiom

\documentclass[14pt]{extarticle}

\usepackage[english]{babel}
\usepackage[utf8x]{inputenc}
\usepackage{amsmath}
\usepackage{bussproofs}

\begin{document}
    \begin{prooftree}
        \LeftLabel{bar}
        \RightLabel{baz}
        \AxiomC{foo}
    \end{prooftree}
\end{document}
5
  • Can you provide a MWE please, instead of fragments only?
    – user31729
    Sep 23, 2015 at 19:57
  • What does MWE mean? I added the rest of the code Sep 23, 2015 at 20:03
  • 2
    After being here for almost two years: minimal working example (MWE)
    – user31729
    Sep 23, 2015 at 20:04
  • I guess I've had enough information in the past ;) Sep 23, 2015 at 20:16
  • You must have an interference line, say with \UnaryInfC{...}, otherwise the labels aren't displayed
    – user31729
    Sep 23, 2015 at 20:26

2 Answers 2

1

The package bussproofs needs an interference line (terminology by the package) which is generated with \UnaryInfC{some content} -- only after using that the labels from \RightLabel and \LeftLabel are shown.

\documentclass[14pt]{extarticle}

\usepackage[english]{babel}
\usepackage[utf8x]{inputenc}
\usepackage{amsmath}
\usepackage{bussproofs}

\begin{document}
    \begin{prooftree}
        \AxiomC{foo}
        \LeftLabel{bar}
        \RightLabel{baz}
        \UnaryInfC{Yo!}
        \singleLine
    \end{prooftree}
\end{document}

enter image description here

1
  • 1
    Sorry for my incompetent proof ;-)
    – user31729
    Sep 23, 2015 at 20:29
1

I don't think a bare axiom counts as a valid proof tree. I think you'd want something like

\documentclass[14pt]{extarticle}

\usepackage[english]{babel}
\usepackage[utf8x]{inputenc}
\usepackage{amsmath}
\usepackage{bussproofs}

\begin{document}
    \begin{prooftree}
        \AxiomC{}
        \LeftLabel{bar}
        \RightLabel{baz}
        \UnaryInfC{foo}
    \end{prooftree}
\end{document}

PDF docs suggest the labels are for inference lines, not bare axioms, so without an inference, there won't be any labels.

You must log in to answer this question.

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