$empty top-level constant

const $empty = 0x2205

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

Implementation

const int $empty = 0x2205