Skip to content
Snippets Groups Projects
Commit c5304c50 authored by Philip Kaluđerčić's avatar Philip Kaluđerčić :u7121:
Browse files

Consistently use \mathfrak{M} for model names

See #1.
parent 8ac8bae6
No related branches found
No related tags found
No related merge requests found
......@@ -2,9 +2,9 @@
\marginpar{\footnotesize Die Klausur meinte die Aufgabe sei ``absichtlich Einfach'',
und das dafür mehr Wert auf Formalismen gelegt wurde.} $\Sigma$ sei
die Signatur $[xor/2]$ und sei das $\Sigma$-Modell, in dem M die Menge
die Signatur $[xor/2]$ und sei das $\Sigma$-Modell, in dem $\mathfrak{M}$$ die Menge
$\{\top, \perp\}$ der binären Wahrheitswerte ist und für alle
$m, n \in M$:
$m, n \in \mathfrak{M}$:
\[
\mathfrak{M}\llbracket xor \rrbracket(m,n) = m \oplus n =
\begin{cases}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment