[Spot] Bug report: implication prefix

Hello,

It seems that Spot cannot parse implication and equivalent operators in prefix order. I tried on both my local machine and the online translator https://spot.lre.epita.fr/app/.

The installed Spot version is 2.11.1. The commands are - local: spot.formula("-> a b") - online translator: type in -> a b Error message: syntax error, unexpected implication operator

Thank you very much for your help and creating the conda package for Spot, that makes the installation very convenient! Happy holidays!

Best, Jason