Hi,
i would like to enter this symbole ¬ ⇒ ∧ in ATL but it not accept
can you help me?
_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
  • [Topcased-users] [ATL] symbo... Topcased user list where issues are discussed

Reply via email to