diff --git a/notes/rabia.md b/notes/rabia.md
index 2a696bbb2409e7b6f77c3e34aef2379de5df32f3..08e1e0e9925241660777884816d8b319a2ec5ee1 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