$dArr top-level constant

const $dArr = 0x21D3

downwards double arrow ('⇓')

Implementation

const int $dArr = 0x21D3