Got notifications to work, changed so the list of symbols is now of type ADSSymbol