Hans Hagen 15. März 2016 um 10:10 as it maps onto a (new) primitive it's \checkedstrippedcsname\foo \checkedstrippedcsname foo only