30 Nov
2022
30 Nov
'22
3:15 p.m.
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