A key in ProbabilityDistribution objects and an option for discreteProbabilityDistribution and continuousProbabilityDistribution for setting the cumulative distribution function to be used by probability.
The object DistributionFunction is a symbol.