Logika dla informatyków/notacje

Upierdliwości

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

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

Notacje

1. W rozdziale 1 autor uzyl znaku podobnego do i (coś jak te nawiasy, tylko zlepione). Zastąpiłem go właśnie znakami "" i ""