changed bracketing logic for Nots, explicit utf-8 for Not symbol