diff --git a/Concurrent Systems/notes/11 - LTSs and Bisimulation.md b/Concurrent Systems/notes/11 - LTSs and Bisimulation.md
index cfe5342..d89ddd6 100644
--- a/Concurrent Systems/notes/11 - LTSs and Bisimulation.md	
+++ b/Concurrent Systems/notes/11 - LTSs and Bisimulation.md	
@@ -133,6 +133,9 @@ We shall usually omit tail occurrences of ‘.0’ and, for example, simply writ
 From the syntax to the LTS We have shown how it is possible, starting from an LTS, to generate a corresponding process
 
 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
 ![](images/Pasted%20image%2020250414152221.png)