e896f83bb5
as some fonts (e.g., KOI8-R) have special symbols for displaying them, and we want symbols ">=" literally here.