Change <=> to = when pretty printing equalities