New utility function MISMATCH-SYMBOLS.
Use the new utility.