Use 0 1 for constants, v ^ ; / \ * for join, meet, product, residuals and iteration, = <= >= for equality or inequality.