[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