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