diff --git a/assets/bergamot/rendering/lc.bergamot b/assets/bergamot/rendering/lc.bergamot
index e86019b..9750a7a 100644
--- a/assets/bergamot/rendering/lc.bergamot
+++ b/assets/bergamot/rendering/lc.bergamot
@@ -7,10 +7,12 @@ SelectHead @ select(cons([?t, ?v], ?rest), ?default, ?v) <- ?t;
 SelectTail @ select(cons([?t, ?v], ?rest), ?default, ?found) <- not(?t), select(?rest, ?default, ?found);
 SelectEmpty @ select(nil, ?default, ?default) <-;
 
+Eq @ eq(?x, ?x) <-;
+
 ParenthAssocLeft @ parenthassoc(?a_i, left, right) <-;
 ParenthAssocRight @ parenthassoc(?a_i, right, left) <-;
 ParenthAssocNone @ parenthassoc(?a_i, none, ?pos) <-;
-ParenthAssocNeq @ parenthassoc(?a_i, ?a_o, ?pos) <- not(symeq(?a_i, ?a_o));
+ParenthAssocNeq @ parenthassoc(?a_i, ?a_o, ?pos) <- not(eq(?a_i, ?a_o));
 
 Parenth @ parenth(?inner, ?outer, ?pos, ?strin, ?strout) <-
     prec(?inner, ?p_i, ?a_i), prec(?outer, ?p_o, ?a_o),