infix fun Expression.neq(other: Expression): Numeric
Create Formula.Numeric proposition by comparing two expressions using the CompareOp.NEQ.