diff --git a/Concurrent Systems/notes/11 - LTSs and Bisimulation.md b/Concurrent Systems/notes/11 - LTSs and Bisimulation.md
index d89ddd6..a4765d5 100644
--- a/Concurrent Systems/notes/11 - LTSs and Bisimulation.md	
+++ b/Concurrent Systems/notes/11 - LTSs and Bisimulation.md	
@@ -134,7 +134,7 @@ From the syntax to the LTS We have shown how it is possible, starting from an LT
 
 It is also possible the inverse translation and then the two formalisms do coincide; the rules that have to be used in this translation are:
 
-$$\forall_{}$$
+
 
 ![](images/Pasted%20image%2020250414093017.png)
 #### Examples