$real top-level constant

int const $real

black-letter capital R (real part symbol) ('ℜ')

Implementation

const int $real = 0x211C;