Symbol: dfault