dump atoms with operator to be parsed correctly