$empty top-level constant

const $empty = 8709

empty set (null set); see also U+8960, ⌀ ('∅')

Implementation

const int $empty = 0x2205