added Infixl/rName: specify infix name independently from syntax; added Pure symbolfont syntax;
added Infixl/rName: specify infix name independently from syntax;
added Pure symbolfont syntax;

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