$middot top-level constant

const $middot = 0x00B7

middle dot (Georgian comma, Greek middle dot) ('ยท')

Implementation

const int $middot = 0x00B7