$minus top-level constant

const $minus = 0x2212

minus sign ('−')

Implementation

const int $minus = 0x2212