$ge top-level constant

int const $ge

greater-than or equal to ('≥')

Implementation

const int $ge = 0x2265;