$middot top-level constant
int
const $middot
middle dot (Georgian comma, Greek middle dot) ('ยท')
Implementation
const int $middot = 0x00B7;
$middot constant
middle dot (Georgian comma, Greek middle dot) ('ยท')
const int $middot = 0x00B7;