<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\documentclass[convert={outfile=\jobname.svg}]{standalone}

\usepackage{proof}
\usepackage{amsmath}
\usepackage{utf8}

\begin{document}

$$
\infer[\textit{(name)}]{\textit{assumptions} âŠ¢ \textit{conclusion}}{
  \textit{assumptions for premise 1} âŠ¢ \textit{premise 1} \qquad &amp;
  \textit{assumptions for premise 2} âŠ¢ \textit{premise 2} \qquad &amp;
  \cdots
}
$$

\end{document}
</pre></body></html>