Conditional Probability Symbol

Meaningful description here.