$weierp top-level constant

const $weierp = 8472

script capital P (power set, Weierstrass p) ('℘')

Implementation

const int $weierp = 0x2118