Notations.Simple