\usepackage{fitch} \begin{document} $\Large\begin{nd} \have [m]{nnp} {\lnot\lnot P} \have [\vdots]{v} {\vdots} \have [n]{p} {P} \by{$\lnot\lnot$E}{nnp} \end{nd}$ \end{document}