Logika dla informatyków/notacje: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 8: | Linia 8: | ||
#\/'' -> "''" | #\/'' -> "''" | ||
#\Delta\vdash -->"e" | #\Delta\vdash -->"e" | ||
#\ | #\strA --> \mathfrak A | ||
'''Notacje''' | '''Notacje''' | ||
Wersja z 07:01, 21 wrz 2006
Upierdliwości
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"
- \strA --> \mathfrak A
Notacje
- W rozdziale 1 autor uzyl znaku podobnego do i (coś jak te nawiasy, tylko zlepione). Zastąpiłem go właśnie znakami "" i ""
Przypisy
Zrobiłem wykorzystując referencje. Przyklad - 1 i 2 wykład
