$minus top-level constant

int const $minus

minus sign ('−')

Implementation

const int $minus = 0x2212;