I would move this variant of ``symbol(..)`` up to the const version