add unicode notation for identity_modality
simpl rewrite