User blog comment:Moooosey/Simple psi-- a fairly simple ocf/@comment-39541634-20191026195018/@comment-39541634-20191026195447

Meanwhile, you'll probably want to know that there is an accepted shorthand for the value of:

min( x: x>n for n∈A)

Mathematicians simply write that as:

sup(A)