Azimuth Forum
Visit Site
It's nice because,
{min(x y)
≝ (if {x ≤ y}
x
y)
}
is basically how a mathematician defines a function,
\\[
\begin{align}
\min(x,y)
\overset{\mathrm{def}}{=} \texttt{if } [x \leq y] \\\\
\texttt{then } x ; \\\\
\texttt{else } y. \\\\
\end{align}
\\]
Version 2.1.8p2