[Spot] Re: Bug report: implication prefix

"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