remove non-ascii character ('¬') from .dot file export, use '!' for negation instead