$times top-level constant

const $times = 0x00D7

multiplication sign ('×')

Implementation

const int $times = 0x00D7