Logika dla informatyków/notacje

Upierdliwości, których parser nie rusza (format: upierdliwość --> "na co zamienić")

\begin{eqnarray*} --> "(" \end{eqnarray*} --> ")" \boldsymbol{s}}\def\blank{\hbox{\sf B -->" u" \/ -> "" \Delta\vdash -->"e"