$dArr top-level constant

const $dArr = 8659

downwards double arrow ('⇓')

Implementation

const int $dArr = 0x21D3