Distribution Operator
|