###
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.