more abbrevs according to Isabelle/HOL ASCII replacement syntax;
more abbrevs according to Isabelle/HOL ASCII replacement syntax;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle