website that allows resolving symbols