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(a)lrde.epita.fr>
wrote:
"Liu, Jason Xinyu"
<xinyu_liu(a)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