$int top-level constant

int const $int

integral ('∫')

Implementation

const int $int = 0x222B;