$tilde top-level constant

const $tilde = 732

small tilde ('˜')

Implementation 

const int $tilde = 0x02DC