notation design