agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

Replace symbol for similarity

Open fredrik-bakke opened this issue 7 months ago • 0 comments

Replace the current notation for similarity/indiscernibility x ≈ y with x ≍ y as proposed in #1418.

Resolves #1418.

fredrik-bakke avatar May 03 '25 10:05 fredrik-bakke