From bdf303f22fe9f9088ab9f87e8174b5b04d2902c6 Mon Sep 17 00:00:00 2001
From: "Peter J. Keleher" <keleher@cs.umd.edu>
Date: Mon, 4 Dec 2023 10:52:12 -0500
Subject: [PATCH] auto

---
 notes/rabia.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/notes/rabia.md b/notes/rabia.md
index ec073c8..2a696bb 100644
--- a/notes/rabia.md
+++ b/notes/rabia.md
@@ -26,7 +26,7 @@ Claims are that:
 
 Definitions:
 - *weak validity:* choose either value proposed by client or NULL
-  ($\bottom$) ($$\bottom$$)
+  ($\bot) ($$\bot$$)
 
 Challenges:
 - staying on fast path whenever possible
-- 
GitLab