$hArr top-level constant

int const $hArr

left right double arrow ('⇔')

Implementation

const int $hArr = 0x21D4;