Symbol: if_input