$times top-level constant

int const $times

multiplication sign ('×')

Implementation

const int $times = 0x00D7;