$middot top-level constant

int const $middot

middle dot (Georgian comma, Greek middle dot) ('·')

Implementation

const int $middot = 0x00B7;