diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 96881aa..e289820 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -237,7 +237,7 @@
       "companion:Toggle completion": false
     }
   },
-  "active": "954699747dc12b5e",
+  "active": "fbeaa35cc5a8abf1",
   "lastOpenFiles": [
     "Concurrent Systems/slides/class 12.pdf",
     "Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md",
diff --git a/Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md b/Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md
index dce84dc..584b1cc 100644
--- a/Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md	
+++ b/Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md	
@@ -8,9 +8,9 @@
 	- Producer/consumer paradigm
 
 Given a set of names N (that denote events)
-- a (∈ N) denotes consumption of event a
-- $\bar{a}$ (for a ∈ N) denotes production of event a
-- a and $\bar{a}$ are complementary actions: they let two parallel processes synchronize on the event a
+- $a (\in N)$ denotes consumption of event a
+- $\bar{a}$ (for $a \in N$) denotes production of event a
+- $a$ and $\bar{a}$ are complementary actions: they let two parallel processes synchronize on the event a
 
 When two processes synchronize, an external observer has no way of understanding what is happening in the system
 - synchronization is not observable from the outside; it produces a special ‘silent’ action, that we denote with τ