$prop top-level constant

int const $prop

proportional to ('∝')

Implementation

const int $prop = 0x221D;