enduser/Modal-Transition-Systems.md

-# Modal Transition Systems
 Modal transition systems (MTS) can be modelled by using a question mark (?) on event labels.
 ```
 A = (a -> b? -> A | a? -> A).
@@ -16,4 +15,4 @@ B = (a -> b -> B | b? -> B).
 abstract ||COMP = (B).
 ```
 
-# End
+# End
\ No newline at end of file