From 459fcba750e176063e079179d1876f2856cfc8b1 Mon Sep 17 00:00:00 2001 From: NamorNiradnug Date: Wed, 29 Apr 2026 22:34:10 +0300 Subject: [PATCH 1/3] Add `eq.dot` --- CHANGELOG.md | 1 + src/modules/sym.txt | 1 + 2 files changed, 2 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 4925900..244d3f4 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -54,6 +54,7 @@ - `lt.closed.eq`: ⊴ - `lt.closed.eq.not`: ⋬ - `lt.closed.not`: ⋪ + - `eq.dot`: ≐ - Miscellaneous technical - `bowtie.stroked`: ⋈ diff --git a/src/modules/sym.txt b/src/modules/sym.txt index d9a82cf..15e0fc4 100644 --- a/src/modules/sym.txt +++ b/src/modules/sym.txt @@ -286,6 +286,7 @@ eq = .star ≛ .o ⊜ .colon ≕ + .dot ≐ .dots ≑ .dots.down ≒ .dots.up ≓ From 2a4622e8164f1bc730bb2e826420008fd6bd824f Mon Sep 17 00:00:00 2001 From: NamorNiradnug Date: Thu, 30 Apr 2026 03:25:45 +0300 Subject: [PATCH 2/3] Add `equiv.dot` --- CHANGELOG.md | 1 + src/modules/sym.txt | 1 + 2 files changed, 2 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 244d3f4..f70770e 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -55,6 +55,7 @@ - `lt.closed.eq.not`: ⋬ - `lt.closed.not`: ⋪ - `eq.dot`: ≐ + - `equiv.dot`: ⩧ - Miscellaneous technical - `bowtie.stroked`: ⋈ diff --git a/src/modules/sym.txt b/src/modules/sym.txt index 15e0fc4..bfea7bc 100644 --- a/src/modules/sym.txt +++ b/src/modules/sym.txt @@ -406,6 +406,7 @@ succ ≻ .ntilde ⋩ .tilde ≿ equiv ≡ + .dot ⩧ .not ≢ smt ⪪ .eq ⪬ From 30883f6a53a62e0ba172279e861e8c52165c454b Mon Sep 17 00:00:00 2001 From: NamorNiradnug Date: Fri, 1 May 2026 14:13:56 +0300 Subject: [PATCH 3/3] Revert "Add `equiv.dot`" This reverts commit 2a4622e8164f1bc730bb2e826420008fd6bd824f. --- CHANGELOG.md | 1 - src/modules/sym.txt | 1 - 2 files changed, 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index f70770e..244d3f4 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -55,7 +55,6 @@ - `lt.closed.eq.not`: ⋬ - `lt.closed.not`: ⋪ - `eq.dot`: ≐ - - `equiv.dot`: ⩧ - Miscellaneous technical - `bowtie.stroked`: ⋈ diff --git a/src/modules/sym.txt b/src/modules/sym.txt index bfea7bc..15e0fc4 100644 --- a/src/modules/sym.txt +++ b/src/modules/sym.txt @@ -406,7 +406,6 @@ succ ≻ .ntilde ⋩ .tilde ≿ equiv ≡ - .dot ⩧ .not ≢ smt ⪪ .eq ⪬