ineq_ =
  (string "=" *> return QEq) <|>
  (string "/=" *> return QDisEq) <|>
  (string "<=" *> return QLessEq) <|>
  (string ">=" *> return QMoreEq) <|>
  (string "<" *> return QLess) <|>
  (string ">" *> return QMore)
ineq_ =
  (string "=" *> return QEq) <|>
  (string "/=" *> return QDisEq) <|>
  (string "<=" *> return QLessEq) <|>
  (string ">=" *> return QMoreEq) <|>
  (string "<" *> return QLess) <|>
  (string ">" *> return QMore)
ineq_ =
  (string "=" *> return QEq) <|>
  (string "/=" *> return QDisEq) <|>
  (string "<=" *> return QLessEq) <|>
  (string ">=" *> return QMoreEq) <|>
  (string "<" *> return QLess) <|>
  (string ">" *> return QMore)