z-notation