Merge pull request #828 from rborder/patch-1

Update custom-probability.qmd

src/stan-users-guide/custom-probability.qmd

@@ -119,7 +119,7 @@ definition of the bivariate normal cumulative distribution function
 (CDF) with location zero, unit variance, and correlation `rho`.
 That is, it computes
 $$
-\texttt{binormal}\mathtt{\_}\texttt{cdf}(z_1, z_2, \rho) = \Pr[Z_1 > z_1 \text{ and } Z_2 > z_2]
+\texttt{binormal}\mathtt{\_}\texttt{cdf}(z_1, z_2, \rho) = \Pr[Z_1 \leq z_1 \text{ and } Z_2 \leq z_2]
 $$
 where the random 2-vector $Z$ has the distribution
 $$