"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