$le top-level constant

int const $le

less-than or equal to ('≤')

Implementation

const int $le = 0x2264;