tidy notation