I have never seen this notion, but i know E(X|Y). In this link i encounter the notion as X|Y and he said that X|Y has mean E(X|Y). He also give a property that if X and Y independent then X|Y=X. I only know that if X and Y indepentdent then E(X|Y)=EX and if X in \sigma(Y) (algebra generated by Y) then E(X|Y)=X.
https://stanford.edu/class/ee363/lectures/kf.pdf
Infact, the notation X|Y made me very confused.! What is the exactly definition of X|Y?
Thank so much!