diff --git a/src/modules/sym.txt b/src/modules/sym.txt
index 0bb3572..2eceb11 100644
--- a/src/modules/sym.txt
+++ b/src/modules/sym.txt
@@ -358,6 +358,10 @@ succ ≻
   .tilde ≿
 equiv ≡
   .not ≢
+smt ⪪
+  .eq ⪬
+lat ⪫
+  .eq ⪭
 prop ∝
 original ⊶
 image ⊷