$tilde top-level constant

int const $tilde

small tilde ('˜')

Implementation

const int $tilde = 0x02DC;