x : x | x < ~