2022 Developer Survey is open! Take survey.

2 of 2
My understanding is that $$R_x$$ is the receiver time when the signal is received. So that would make $$t_x$$ the transmission time. And you subtract the bias to get a more accurate transmission time.