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

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

diff --git a/notes/rabia.md b/notes/rabia.md
index 2a696bb..08e1e0e 100644
--- a/notes/rabia.md
+++ b/notes/rabia.md
@@ -25,8 +25,7 @@ Claims are that:
 ![Rabia flow](rabiaFlow.png)
 
 Definitions:
-- *weak validity:* choose either value proposed by client or NULL
-  ($\bot) ($$\bot$$)
+- *weak validity:* choose either value proposed by client or NULL ($\bot$)
 
 Challenges:
 - staying on fast path whenever possible
-- 
GitLab