Text this: Generalised acceptance conditions for symmetric difference nondeterministic finite automata