Skip to content

Prefer ≟ and add equality aliases - #5

Merged
isomorphisms merged 4 commits into
irfrom
equality-glyph-aliases
Sep 7, 2026
Merged

isomorphisms merged 4 commits into
irfrom
equality-glyph-aliases

Commits

Commits on Aug 26, 2026