diff --git a/Concurrent Systems/notes/6a - Alternatives to Atomicity.md b/Concurrent Systems/notes/6a - Alternatives to Atomicity.md
index 2502a8e..fc84858 100644
--- a/Concurrent Systems/notes/6a - Alternatives to Atomicity.md	
+++ b/Concurrent Systems/notes/6a - Alternatives to Atomicity.md	
@@ -34,7 +34,7 @@ Hence, we have two histories that are sequentially consistent but whose composit
 
 **Def:** a complete history $\hat{H}$ is **serializable** if there exists a sequential history $\hat{S}$ s.t.
 1. $\forall X : \hat{S}|_X \in semantics(X)$
-2. $S = \{e \in H : e \in t \ in committedTrans(\hat{H})\}$
+2. $S = \{e \in H : e \in t \in committedTrans(\hat{H})\}$
 3. $\to_{trans} \subseteq \to_{S}$ where $\to_{trans}$ is defined like $\to_{proc}$ in sequential consistency.
 
 It is a more general notion than linearizability, **but it is not compositional** (consider the previous example but with transactions instead of processes).
\ No newline at end of file