From c5885104d44d215e45f46d4a1d9b89992377457f Mon Sep 17 00:00:00 2001
From: Rachel Lambda Samuelsson <depsterr@protonmail.com>
Date: Fri, 15 Sep 2023 11:03:41 +0200
Subject: [PATCH] mjau

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index d700413..713c8cc 100644
--- 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>