This is an old version, view current version.
10.2 Argument Order and the Vertical Bar
Each probability function has a specific outcome value and a number of
parameters. Following conditional probability notation, probability
density and mass functions use a vertical bar to separate the outcome
from the parameters of the distribution. For example, normal_lpdf(y | mu, sigma)
returns the value of mathematical formula \(log \text{Normal}(y \, | \, \mu, \sigma)\). Cumulative distribution
functions separate the outcome from the parameters in the same way
(e.g., normal_lcdf(y_low | mu, sigma)