Search for symbol in WITH