$exist top-level constant

const $exist = 0x2203

there exists ('∃')

Implementation

const int $exist = 0x2203