core: Set notation flags for verify.