  In the context of an application to superfluidity, it is elaborated how to do
quantum mechanics of a system with a rotational velocity. Especially, in both
the laboratory frame and the non-inertial co-rotating frame, the canonical
momentum, which corresponds to the quantum mechanical momentum operator,
contains a part due to the rotational velocity.
