Notation commands

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
<< “EosHeader.m”

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)

<< “EosNotations.nb”;

Start wrinting Orikoto program


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.