$prop top-level constant

const $prop = 8733

proportional to ('∝')

Implementation 

const int $prop = 0x221D