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.

Enter an equation or inequality:  

Search for an
Brief explanation of output