$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;