this repo has no description
💄 Improve blog entries a lil bit
+14
-13
+12
-10
blog/on-applying-repeated-operators-to-the-empty-set.md
+12
-10
blog/on-applying-repeated-operators-to-the-empty-set.md
···
131
131
132
132
## Applications
133
133
134
-
| Operation | Application | |
135
-
| --------- | ------------------------------- | ------------------------------------- |
136
-
| $+$ | $\sum_\emptyset = 0$ | |
137
-
| $\cdot$ | $\prod_\emptyset = 1$ | |
138
-
| $\max$ | $\max_\emptyset = -\infty$ | |
139
-
| $\min$ | $\min_\emptyset = \infty$ | |
140
-
| $\land$ | $\forall \emptyset = \top$ | |
141
-
| $\lor$ | $\exists \emptyset = \bot$ | |
142
-
| $\cup$ | $\bigcup_\emptyset = \emptyset$ | |
143
-
| $\cap$ | $\bigcap_\emptyset = \mathbb U$ | where $\mathbb U$ is the universe set |
134
+
| Operation | Application |
135
+
| --------- | ------------------------------- |
136
+
| $+$ | $\sum_\emptyset = 0$ |
137
+
| $\cdot$ | $\prod_\emptyset = 1$ |
138
+
| $\max$ | $\max_\emptyset = -\infty$ |
139
+
| $\min$ | $\min_\emptyset = \infty$ |
140
+
| $\land$ | $\forall \emptyset = \top$ |
141
+
| $\lor$ | $\exists \emptyset = \bot$ |
142
+
| $\cup$ | $\bigcup_\emptyset = \emptyset$ |
143
+
| $\cap$ | $\bigcap_\emptyset = \mathbb U$ |
144
+
145
+
where $\mathbb U$ is the universe set
+2
-3
src/pages/blog/[entry].astro
+2
-3
src/pages/blog/[entry].astro
···
67
67
}
68
68
69
69
main :global(p:not(:has(img)), ul, dl, ol) {
70
-
margin-bottom: 0.5em;
71
70
max-width: min(60ch, 100%);
72
-
margin: 0 auto;
71
+
margin: 1em auto 2em;
73
72
}
74
73
75
-
main :global(p:has(img), pre.astro-code) {
74
+
main :global(p:has(img), pre.astro-code, .katex-display, table) {
76
75
width: min(80ch, calc(100% - 2rem));
77
76
margin: 2em auto;
78
77
}