A variable that references a statement, typically denoted

\begin{equation*} P, Q, R, \ldots \end{equation*}