mjau

2023-09-15 11:03:41 +02:00 · 2023-09-15 11:03:41 +02:00 · c5885104d4
parent 2892519634
commit c5885104d4
1 changed files with 1 additions and 1 deletions
--- a/index.html
+++ b/index.html
@ -4,7 +4,7 @@ title: "blog"
 ---

 {% katexmm %}
-<p class="tcenter">A living $\top$</p>
+<p class="tcenter">$\bot \vdash \top$</p>
 {% endkatexmm %}

 <ul>