What do you know, there are Unicode characters for >= and <=.