Logika dla informatyków/notacje
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
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"
