[FOM] Second order branching quantifiers

[Colin McLarty]

To LaTeX second order branching quantifiers Thomas Forster suggested

\begin{equation}\label{eqn2}
  \left(
  \begin{array}{r}
      \forall x \exists y \\
      \forall x'\exists y' \\
       \end{array}\right)
  \left( (x = x' \to y = y') \wedge R(x,y) \wedge R(x',y') 
\right)\end{equation}

But if you use pmatrix instead of array then you get tighter parens 
without having to specify them yourself:


\begin{equation}\label{eqn2}
  \begin{pmatrix}
      \forall x \exists y \\
      \forall x'\exists y' \\
       \end{pmatrix}
  \left( (x = x' \to y = y') \wedge R(x,y) \wedge R(x',y')
\right)\end{equation}

best, Colin