≤
≤Y: Y−1. Pervasive.
≤Y
≤1x 2x 3x ⍝ 0x 1x 2x
X≤Y tests X ≤ Y for reals. Pervasive; tolerant.
X≤Y
1 2 3≤2 ⍝ 1x 1x 0x