$times top-level constant

const $times = 215

multiplication sign ('×')

Implementation 

const int $times = 0x00D7