$tilde top-level constant

int const $tilde

Character ~.

Implementation

const int $tilde = 0x7e;