Logika dla informatyków/notacje: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Tprybick (dyskusja | edycje)
Nie podano opisu zmian
 
Tprybick (dyskusja | edycje)
Nie podano opisu zmian
Linia 1: Linia 1:
Upierdliwości, których parser nie rusza (format: upierdliwość --> "na co zamienić")
Upierdliwości, których parser nie rusza (format: upierdliwość --> "na co zamienić")


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

Wersja z 11:34, 20 wrz 2006

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"