$int top-level constant

const $int = 0x222B

integral ('∫')

Implementation

const int $int = 0x222B