Skip to main content
The 2024 Developer Survey results are live! See the results

New answers tagged

2 votes

Can´t use fbox with prooftree

It is the paragraph breaks and implicit list (used by prooftree) which cause the issue. If you box the content first, you can use \fbox{}. For example, you could use a minipage. \documentclass {...
cfr's user avatar
  • 208k
4 votes

Can´t use fbox with prooftree

You cannot use vertical material inside a horizontal box like \mbox or \fbox unless you add an explicit vertical box, e.g.: \documentclass {scrbook} \usepackage {bussproofs} \newcommand {\lbl} [1]{\...
cabohah's user avatar
  • 14.2k
0 votes

Ternary inferences in bussproofs or another prooftree package?

Ternary inferences are supported out-of-the-box. This example is from Peter Smith's introduction to bussproofs: \documentclass{article} \usepackage{bussproofs} \begin{document} \begin{prooftree} \...
cfr's user avatar
  • 208k

Top 50 recent answers are included