Hi Alexandre,
Thank you so much for the info!
Best, Jason
On Wed, Nov 30, 2022 at 5:02 AM Alexandre Duret-Lutz adl@lrde.epita.fr wrote:
"Liu, Jason Xinyu" xinyu_liu@brown.edu writes:
- local: spot.formula("-> a b")
- online translator: type in -> a b
Error message: syntax error, unexpected implication operator
Hi Jason,
The prefix syntax uses "i" and "e" for "->" and "<->". See
https://spot.lre.epita.fr/ioltl.html#prefix
Alexandre