## Definition/Meaning of :|:

What is the meaning of :|: ?

So how would one read the following for example...

set X = { u "member of" set A :|: u has property P}
 PhysOrg.com science news on PhysOrg.com >> Galaxies fed by funnels of fuel>> The better to see you with: Scientists build record-setting metamaterial flat lens>> Google eyes emerging markets networks
 Recognitions: Science Advisor :|: seems to mean that the expression to the right is a condition. I have not seen that form - usually it is just | alone.

 Quote by Square1 What is the meaning of :|: ? So how would one read the following for example... set X = { u "member of" set A :|: u has property P}
Have never seen that notation before. Assuming it has the same meaning as the more usual

set X = { u "member of" set A | u has property P}

I would pronounce that "such that."

Recognitions:
Probabilities are assigned to subsets of some space of possible outcomes. If A and B are sets in such a space then $A \cap B$ and $A | B$ both refer to the set of elements in $A \cap B$, but the probability $P(A | B)$ tells us that probability is to be computed as if the elements of the "space of possible outcomes" are only those elements which are in B while $P(A \cup B)$ tells us that the "space of possible outcomes" is the original space of possible outcomes.