$\backslash mathrm\{Pr\}\_T(\backslash ulcorner\backslash varphi(\backslash dot\; x)\backslash urcorner$