FDL > PVS > Prelude > reals > <= : const-decl

< =(x, y): bool = (x < y) OR (x = y);