Re: [NTG-context] Conflict between blackboard bold font and enumerations