// Test math shorthands.

---
$ f : NN <=> RR, n |-> sqrt(n) $