Definition:Ceiling Function/Also denoted as

Ceiling Function: Also denoted as

Some sources use $\set x$ to denote the ceiling function, but this has too many other interpretations for it to be acceptable on $\mathsf{Pr} \infty \mathsf{fWiki}$.