ution function</h3>
<p>For another example of user-defined functions, consider the following definition of the bivariate normal cumulative distribution function (CDF) with location zero, unit variance, and correlation <code>rho</code>. That is, it computes <span class="math display">\[
\texttt{binormal}\mathtt{\_}\texttt{cdf}(z_1, z_2, \rho) = \Pr[Z_1 \leq z_1 \text{ and } Z_2 \leq z_2]
\]</span> where the random 2-vector <span class="math inline">\(Z\)</span> has the distribution <span class="math display"