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