$rArr top-level constant

int const $rArr

rightwards double arrow ('⇒')

Implementation

const int $rArr = 0x21D2;