增加推理规则之间的垂直空间

Question

我正在使用semantic包来beamer为一种语言制作一些推理规则。规则相对较小，大约有 10 条，我希望它们都放在一张幻灯片中。但是，规则堆积如山，幻灯片难以阅读。是否可以增加它们之间的垂直空间？

\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}

Answer 1

在语义规则之间添加一些垂直空间：

\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}

列表itemize也可能有帮助。