$real top-level constant
int
const $real
black-letter capital R (real part symbol) ('ℜ')
Implementation
const int $real = 0x211C;
$real constant
black-letter capital R (real part symbol) ('ℜ')
const int $real = 0x211C;