Je n'arrive pas à faire fonctionner array sur le forum

Médiat_Suprème

Que faire pour que le code suivant fonctionne sur le site (compilé avec MikTex, cela marche parfaitement.

$T_{15} : Presburger \vdash \forall x  \forall y ((x \leq y \wedge y \leq s(x)) \Longrightarrow (y = x \vee y = s(x)))$ 

\begin{array}{ll}

$Presburger \vdash \forall x  \forall y (((x \leq y \wedge y \leq s(x)) \Longrightarrow \exists z \exists u ((x + z = y) \wedge (y + u = s(x)))) $ & $D_\leq$ \\

$Presburger \vdash ((x + z = y) \wedge (y + u = s(x))) \Longrightarrow (x + z + u = s(x)) $ & $T_6$ \\

$Presburger \vdash (x + z + u = s(x)) \Longrightarrow (x + z + u = s(x + 0)) $ & $A_4$ \\

$Presburger \vdash (x + z + u = s(x + 0)) \Longrightarrow (x + z + u = x + s(0)) $ & $A_5$ \\

$Presburger \vdash (x + z + u = x + s(0)) \Longrightarrow (z + u = s(0)) $ & $T_7$ \\

$Presburger \vdash (z = 0) \Longrightarrow (x = y)$ & $A_4$ \\

$Presburger \vdash (z \neq 0) \Longrightarrow \exists t (z = s(t)) $ & $A_2$ \\

$Presburger \vdash ((z + u = s(0)) \wedge (z \neq 0)) \Longrightarrow s(t) + u = s(0))$ & $\wedge$ \\

$Presburger \vdash ((z + u = s(0)) \wedge (z \neq 0)) \Longrightarrow s(t + u) = s(0))$ & $T_2$ \\

$Presburger \vdash ((z + u = s(0)) \wedge (z \neq 0)) \Longrightarrow t + u = 0$ & $A_3$ \\

$Presburger \vdash ((z + u = s(0)) \wedge (z \neq 0)) \Longrightarrow (t = 0) \wedge (u = 0) $ & $T_5$ \\

$Presburger \vdash (z \neq 0) \Longrightarrow (y = s(x)) $ & $A_4$ \\

$Presburger \vdash \forall x  \forall y (((x \leq y \wedge y \leq s(x)) \Longrightarrow ((x = y) \vee (y = s(x))) $ & $\vee$ \\

$Presburger \vdash T_{15}$                                        \\ 

\end{array} \\