improved output syntax of op =, op ~= (more parentheses);
improved output syntax of op =, op ~= (more parentheses);

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