$exist top-level constant

const $exist = 8707

there exists ('∃')

Implementation 

const int $exist = 0x2203