Specifies the symbol server URL.