$notin top-level constant

int const $notin

not an element of ('∉')

Implementation

const int $notin = 0x2209;