$prop top-level constant

const $prop = 0x221D

proportional to ('∝')

Implementation

const int $prop = 0x221D