From 3581340eb302a2f806621d2f91d1fc8731f38cb5 Mon Sep 17 00:00:00 2001
From: Malo <57839069+MDLC01@users.noreply.github.com>
Date: Thu, 24 Sep 2026 13:49:50 +0200
Subject: [PATCH] Add `lazys` symbol and variants

---
 src/modules/sym.txt | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/modules/sym.txt b/src/modules/sym.txt
index 83303b6..cded206 100644
--- a/src/modules/sym.txt
+++ b/src/modules/sym.txt
@@ -210,6 +210,12 @@ tilde
   .rev ∽
   .rev.equiv ≌
   .triple ≋
+lazys ∽\vs{1}
+  .eq ⋍\vs{1}
+  .rev ∾
+  .rev.eq ≃\vs{1}
+  .rev.double ≈\vs{1}
+  .rev.eq.lazys ⩬\vs{1}
 
 // Accents, quotes, and primes.
 acute ´
@@ -304,6 +310,7 @@ eq =
   .gt.slant ⪖
   .lt ⋜
   .lt.slant ⪕
+  .lazys.rev ≂\vs{1}
   .m ≞
   .not ≠
   .prec ⋞