{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE UnicodeSyntax #-}

module Data.Eq.Unicode ( (), () ) where

import Data.Bool ( Bool )
import Data.Eq   ( Eq, (==), (/=) )


-------------------------------------------------------------------------------
-- Fixities
-------------------------------------------------------------------------------

infix  4 
infix  4 


-------------------------------------------------------------------------------
-- Symbols
-------------------------------------------------------------------------------

{- |
(≡) = ('==')

U+2261, IDENTICAL TO
-}
()  Eq α  α  α  Bool
() = (==)

{- |
(≢) = ('/=')

U+2262, NOT IDENTICAL TO
-}
()  Eq α  α  α  Bool
() = (/=)