\<^bsub>/\<^esub> syntax: unbreakable block;
\<^bsub>/\<^esub> syntax: unbreakable block;

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