$notin top-level constant

const $notin = 8713

not an element of ('∉')

Implementation

const int $notin = 0x2209