From 5b2659382674777ff1c2cf33606ed4ac20859e9d Mon Sep 17 00:00:00 2001 From: T0mstone Date: Tue, 21 Jan 2025 15:42:04 +0100 Subject: [PATCH 1/2] Implement Proposal 10 (iteration 1) --- src/modules/sym.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/modules/sym.txt b/src/modules/sym.txt index 8d98041..7539106 100644 --- a/src/modules/sym.txt +++ b/src/modules/sym.txt @@ -335,6 +335,7 @@ approx ≈ .not ≉ prec ≺ .approx ⪷ + .curly ⊰ .curly.eq ≼ .curly.eq.not ⋠ .double ⪻ @@ -348,6 +349,7 @@ prec ≺ .tilde ≾ succ ≻ .approx ⪸ + .curly ⊱ .curly.eq ≽ .curly.eq.not ⋡ .double ⪼ From 63d26b6fb4cf6d68d98c5277319752e82d11555e Mon Sep 17 00:00:00 2001 From: T0mstone Date: Wed, 15 Oct 2025 01:24:26 +0200 Subject: [PATCH 2/2] Update changelog --- CHANGELOG.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 4989340..8a4cf42 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,13 @@ # Changelog +## Unreleased + +### New in `sym` + +- Relations + - `prec.curly`: ⊰ + - `succ.curly`: ⊱ + ## Version 0.2.0 (October 7, 2025) ### General changes