1
2 syntax
3 "Glub" :: "[pttrn, 'a] => 'a" ("(3×_./ _)" 10)
4
5 translations
6 "×x.t" == "lub(range(%x.t))"
7