symbolic output: avoid empty blocks, 1 space for fbreak;
symbolic output: avoid empty blocks, 1 space for fbreak;

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