Notation commands are not easy to write correctly, as Tutorial on Notation on Mathematica 12.2 document explains. In my (short) experience, the easiest is to put all the Notation commands that you will use at the beginning of your notebook. Alternatively, create a notebook file, say EosNotations.nb under the Eos3.3 directory, put all your rotation commands, and read them by:
So the header of your file will be
g3 Version 1.2.9
Eos3.32 (March 18,2021) running under Mathematica 12.2.0 for Mac OS X x86 (64-bit) (February 2, 2021)
Start wrinting Orikoto program
Sorry, but you do not have permission to view this content.
Eos3.32 is the modification of Eos3.31 to cope with the upgrade of Mathematica from version 12.1 to version 12.2.0. The reasons that Eos3.31 do not work come from the changes of implementation of the Notation package and the Exists function. Especially, the change of Exists posed challenges. I treat Exists differently than the way implemented in the new Mathematica 12.2. I also used a different notation for existentially (and universally) quantified formulas. The use of the Notation package realized my notation. Since the Notation command with non-trivial external expression does not seem to work as it worked in Mathematica 12.1 and earlier versions. It took me more time than I expected.