Symbol: IEEE_T_DEF