Distributed

Binds a variable to a distribution, for Expectation and Probability.

Distributed(x, dist)an inert binding — x follows dist. Stays itself under evaluation; only Expectation/Probability read it.

Typed signatures

Type	Package	Applies
(any, any) -> expression<Distributed>	statistics	always

Domain: Statistics

Details

• Wolfram's own infix x \[Distributed] dist parses to exactly this call. Only the second argument of Expectation/Probability is read as a Distributed binding — elsewhere it is just an inert expression.
• The first argument is read structurally (it must be a symbol) rather than type-checked — compute-engine PINS a parameter typed literally symbol onto that symbol's inferred type globally, breaking later unrelated uses of the same name (confirmed empirically); typing it any here avoids that.

Examples

Basic #

live ↗

In$\mathrm{Distributed}(x, \operatorname{NormalDistribution}(0, 1))$Out$\mathrm{Distributed}(x, \operatorname{NormalDistribution}(0, 1))$

Scope #

Read by Expectation — see there for the general behavior

live ↗

In$\mathrm{Expectation}(x, \mathrm{Distributed}(x, \operatorname{NormalDistribution}(2, 3)))$Out$2$

About

Examples	2

See also: Expectation, Probability