diff --git a/content/about.md b/content/about.md
index 10556a9..0a8ae9d 100644
--- a/content/about.md
+++ b/content/about.md
@@ -9,5 +9,5 @@ draft: false
- name: Abdulkadir Furkan Şanlı
- handle: abdulocracy
- contact:
- - email: my handle at disroot dot org
- - irc (freenode): abdulocracy
+ - email: my handle at disroot dot org
+ - irc (freenode): abdulocracy
diff --git a/content/posts/eidma.mmark b/content/posts/eidma.mmark
index 945e504..809b8b0 100644
--- a/content/posts/eidma.mmark
+++ b/content/posts/eidma.mmark
@@ -49,12 +49,13 @@ markup = "mmark"
- $$(p \implies q) \equiv (\neg p \lor q)$$
- $$(\neg q \implies \neg p) \equiv (\neg (\neg q) \lor (\neg p) \equiv (q \lor \neg p) \equiv (\neg p \lor q)$$
- - Contradiction law:
- - $$p \lor \neg p \equiv 1$$ and $$p \land \neg p \equiv 0$$
+- Contradiction law:
+ - $$p \lor \neg p \equiv 1$$ and $$p \land \neg p \equiv 0$$
- Tautology: $$\phi (p, q, ... r)$$ is a tautology *iff* $$\phi \equiv 1$$
## Sets
+
- We will consider subsets of universal set $$\mathbb X$$
- $$2^\mathbb X = \{ A : A \subseteq \mathbb X\}$$
- $$2^\mathbb X = P(\mathbb X)$$
@@ -84,12 +85,13 @@ markup = "mmark"
- Quip: $$\{ x \in \mathbb R : x^2 = -1\} = \emptyset$$
## Quantifiers
+
- $$\phi$$ - prepositional function: yields only true or false value
- $$\forall$$ means "for all" and $$\exists$$ means "there exists"
-- $$\forall$$
+- $$\forall$$:
- Shorthand for $$\land$$ e.g. $$(\forall x \in \{ 1, 2, ... 10 \}) x > 0 \equiv 1 > 0 \land 2 > 0 \land ... 10 > 0$$
-- $$\exists$$
+- $$\exists$$:
- Shorthand for $$\lor$$ e.g. $$(\exists x \in \{ 1, 2, ... 10 \}) x > 5 \equiv 1 > 5 \lor 2 > 5 \lor ... 10 > 5$$
- $$\neg \forall \equiv \exists$$, vice versa
@@ -106,6 +108,7 @@ markup = "mmark"
- Order of quantifiers matters.
## Relations
+
- Cartesian product:
- $$A \times B = \{ (p, q) : p \in A \land q \in B \}$$
diff --git a/layouts/partials/extended_footer.html b/layouts/partials/extended_footer.html
index 52cb203..0fbe96e 100644
--- a/layouts/partials/extended_footer.html
+++ b/layouts/partials/extended_footer.html
@@ -4,7 +4,11 @@ To add an extended footer section, please create
-->
-
-
-
+
diff --git a/layouts/partials/footer.html b/layouts/partials/footer.html
index 8c62cf1..5590232 100644
--- a/layouts/partials/footer.html
+++ b/layouts/partials/footer.html
@@ -1,15 +1,16 @@