added "op :", "op ~:" syntax; added symbols syntax;
added "op :", "op ~:" syntax;
added symbols syntax;

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