0

Is it possible to obtain small labels with proof.sty?

\documentclass[a4paper,12pt,twoside,openright]{book}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[german,english,italian]{babel}
\usepackage{easylist}
\usepackage{amssymb,amsmath,amsthm,varwidth,bussproofs,syllogism, mathrsfs, proof}
\begin{document}
     $$\infer[\wedge I]
          {(A \wedge B)}
          {A & B}
     \qquad
     \infer[\to E]
          {B}
          {(A \to B) & A}
     $$
\end{document}

I tried to use \small, but it doesn't work.

Arun Debray
  • 7,126
  • 2
  • 30
  • 54
Matteo
  • 43
  • (1) Welcome, (2) as always on this site please provide full minimal examples. For example, I have no idea where \infer comes from. – daleif Nov 18 '15 at 12:53
  • 1
    Thank you! Sorry, I edited my example putting a preamble. Well comand \infer is a comand of proof.sty package. – Matteo Nov 18 '15 at 13:02
  • the presence of an unmatched $$ just before \end{document} indicates that this isn't complete, and isn't going to compile. (not being familiar with the proof package, i can't offer any more intelligent suggestion.) – barbara beeton Nov 18 '15 at 14:45
  • 4
    There's no specific connexion to the proof package: you're just trying to display math in a smaller font, that you're doing it in a proof environment is irrelevant. Just have a look at this post. – Clément Nov 18 '15 at 15:50
  • Ok, I flagged your question as a duplicate of that question. If you want to address someone, put a @ in front of his/her username. Otherwise they won't know you answered their comment. On a side note, I strongly recommed you to use the ebproof package to draw proof trees. – Clément Nov 18 '15 at 17:32

0 Answers0