User:Nayru25/sandbox/Gentzen Notation

$$\frac{J_1 \qquad J_2 \qquad \cdots \qquad J_n}{J}\ \hbox{name}$$

$$\frac{n \in \mathbb{N}}{\text{p}_n\hbox{ wff}}\ \hbox{atom}$$

$$\frac{X\hbox{ wff} \qquad Y\hbox{ wff}}{(X \uparrow Y)\hbox{ wff}}\ \uparrow\hbox{-wff}$$