Take the 2-minute tour ×
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It's 100% free, no registration required.

I am using the semantic package with beamer to make some inference rules for a language. There are about 10 relatively small-sized rules and I want them to be all in one slide. However, the rules are so piled up that the slide is hardly readable. Is it possible to increase the vertical space between them?

\makeatletter\let\ifGm@compatii\relax\makeatother
\documentclass{beamer}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage[latin1]{inputenc}
\usetheme{Boadilla}
\usepackage{wrapfig}
\usepackage{semantic}

\begin{document}
\begin{frame}{Frame}
  $\inference[Bracketing]{X:\theta}{(X):\theta}$
  $\inference[Zero]{}{0:\textbf{val}[\textbf{nat}]}$
  $\inference[Succ]{N:\textbf{val}[\textbf{nat}]}{succ N:\textbf{val}[\textbf{nat}]}$
  $\inference[Truth]{}{\textbf{true}:\textbf{val}[\textbf{bool}]}$
\end{frame}
\end{document}
share|improve this question
2  
It would be great to have a full compilable example (from \documentclass to \end{document}). –  Manuel Jun 28 at 19:01
    
Done! Thanks!!! –  Sotiris Kal. Jun 28 at 19:38

1 Answer 1

up vote 2 down vote accepted

Add some vertical space between the semantic rules:

\documentclass{beamer}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage[latin1]{inputenc}
\usetheme{Boadilla}
\usepackage{wrapfig}
\usepackage{semantic}

\begin{document}
\begin{frame}{Frame}

$\inference[Bracketing]{X:\theta}{(X):\theta}$

\bigskip

$\inference[Zero]{}{0:\textbf{val}[\textbf{nat}]}$

\bigskip

$\inference[Succ]{N:\textbf{val}[\textbf{nat}]}{succ N:\textbf{val}[\textbf{nat}]}$

\bigskip

$\inference[Truth]{}{\textbf{true}:\textbf{val}[\textbf{bool}]}$
\end{frame}
\end{document}

An itemize list might also help.

enter image description here

share|improve this answer
    
Great!! Thanks a lot! –  Sotiris Kal. Jun 28 at 20:13

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.