In general, if <condition> type constraints are not LP representable. You may want to consult a linear programming textbook, e.g., http://www.athenasc.com/linoptbook.html.

Do you know how I could express it by using the workaround with binary variables and a large number M? I have tried to think but I don’t have a good math background…x1 and x2 are not binary.