=.) :: n x -> n y -> Form Inequality n (x .=. y)
x .=. y = atom Equal $ x :% y :% Nil
(
(.=.) :: n x -> n y -> Form Inequality n (x .=. y)
x .=. y = atom Equal $ x :% y :% Nil
x .=. y = atom Equal $ x :% y :% Nil