feat: add abbreviation for HEq (#632)

Rob23oba · web-flow · commit dadb4e4cd24d · 2025-07-21T17:27:05.000+02:00
`≍` has recently been added as notation for `HEq`, but the only
abbreviation for it currently available is `\asymp`. This PR adds the
more intuitive `\heq` as abbreviation for the same symbol.
diff --git a/lean4-unicode-input/src/abbreviations.json b/lean4-unicode-input/src/abbreviations.json
@@ -1832,5 +1832,6 @@
     "Vert": "‖",
     "Vvdash": "⊪",
     "tiny": "⧾",
-    "miny": "⧿"
+    "miny": "⧿",
+    "heq": "≍"
 }

Original file line number	Diff line number	Diff line change
`@@ -1832,5 +1832,6 @@`
`1832`	`1832`	`"Vert": "‖",`
`1833`	`1833`	`"Vvdash": "⊪",`
`1834`	`1834`	`"tiny": "⧾",`
`1835`		`- "miny": "⧿"`
	`1835`	`+ "miny": "⧿",`
	`1836`	`+ "heq": "≍"`
`1836`	`1837`	`}`