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