$notin top-level constant

const $notin = 0x2209

not an element of ('∉')

Implementation

const int $notin = 0x2209