Consider three random variables $X,Y,Z$, which are jointly normally distributed. I know that $Y$ is orthogonal to $X$ conditional on $Z$, in the sense that $\beta_{YX;Z}=0$ (i.e. the regression coefficient of Y on X conditional on Z is zero). I'd like to know if it is correct to state this orthogonality condition as: $$ X \bot Y | Z $$
In other words, I'm interested in understanding the precedence of the operator for orthogonality.