$empty top-level constant

int const $empty

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

Implementation

const int $empty = 0x2205;