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\mathsf{ B -->" u"
4. \/ -> ""
5. \Delta\vdash -->"e"
6. \strA --> "\mathfrak A"
7. \su -->"s"

Notacje

Komentarze koordynatora przedmiotu

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 "" OK
2. W rozdziale 3 autor uzyl znaku podobnego do strzałki (dwa groty). Zastąpiłem go $\Rightarrow$ Tymczasem (bez porozumienia z tym, kto naprawdę pisał ten rozdział) proponuję ${\to }^{\ast }$
3. W rozdziale 9 (tw.9.2) autor uzyl strzalki z koleczkiem. Zastapilem ja znakiem $\to$ I źle, bo tu o coś innego chodzi niż o zwykłą strzałkę. Jest użyta tylko w tym jednym miejscu, może wyciąć z pdf ten kawałeczek i wkleić jako obrazek?

Przypisy

Zrobiłem wykorzystując referencje. Przyklad - 1 i 2 wykład

Problemy

Jak to ladnie zrobic: $\overline{\mathfrak{𝔅}}$

ma co zamienić \begin{quote}