The simpler form with the same literal meaning is happy for not unhappy and unhappy for not happy.
- simple Degree.AntonymForm.notNegative = Degree.AntonymForm.positive
- simple Degree.AntonymForm.notPositive = Degree.AntonymForm.negative
- simple x✝ = x✝
Used by Marked
Used in AlexandropoulouGotzner2024a