Symbol: double_complex