expand definitions of \DeclareOldFontCommand in traditional article.cls, e.g. KOMA-Script no longer provides these;

irrelevant reference to doubtful theory Code_Char

avoid concrete (anti)mono in theorem names since it could be the other way round

more uniform documentation;

proper fall-back rendering of control symbol;

clarified take/drop/chop prefix/suffix;

clarified signature;

proper signature (amending c4e9e0c50487);

tuned output;

tuned;