$dArr top-level constant

int const $dArr

downwards double arrow ('⇓')

Implementation

const int $dArr = 0x21D3;