$minus top-level constant

const $minus = 8722

minus sign ('−')

Implementation 

const int $minus = 0x2212