\varphi(x) := \hat{x}