For consistency, I propose that we consider using \approx (i.e. unicode ≈) as notation for eutt. Since we already adopted \cong (unicode ≅) for eq_itree.
This pull request makes that change.
(Alternatively, we could find an ascii notation for ≅, or not use such notation at all in the library and let others decide.)
For consistency, I propose that we consider using \approx (i.e. unicode ≈) as notation for eutt. Since we already adopted \cong (unicode ≅) for eq_itree.
This pull request makes that change.
(Alternatively, we could find an ascii notation for ≅, or not use such notation at all in the library and let others decide.)