add more operators in rel_operators()