$tilde top-level constant

const $tilde = 0x02DC

small tilde ('˜')

Implementation

const int $tilde = 0x02DC