Before revision: Let denote the phase of the carrier of satellite j measured by receiver i at time .
After revision: Let denote the phase of the carrier of satellite measured by recever i at time .