a [OP:+] b [OP:<=] c