$le top-level constant

const $le = 8804

less-than or equal to ('≤')

Implementation 

const int $le = 0x2264