fewer conflicts -- adhoc resolution of == vs. ==> via unicode (!) image;
fewer conflicts -- adhoc resolution of == vs. ==> via unicode (!) image;

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