$rArr top-level constant

const $rArr = 8658

rightwards double arrow ('⇒')

Implementation

const int $rArr = 0x21D2