time operator, Weyl relation, CCR