dump of atoms with operator to be parsed correctly