auto

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