Enter an equation or inequality of l-groups or IGMV algebras
Use x X y Y z Z a A b B c C d D for variables (the capital letters
denote inverses of the lowercase letters), e for the l-group identity element, v ^ * \ / for join, meet and product, = <= >= for equality or inequality.