New symbols added.