the formalism of quantum mechanics specified by covariance properties