Documentation
(≡) :: Eq α => α -> α -> Bool infix 4 Source #
(≡) = (==
)
U+2261, IDENTICAL TO
(≢) :: Eq α => α -> α -> Bool infix 4 Source #
(≢) = (/=
)
U+2262, NOT IDENTICAL TO
(≠) :: Eq α => α -> α -> Bool infix 4 Source #
(≠) = (/=
)
U+2260, NOT EQUAL TO