Symbol: htt_rx_in_ord_ind