Symbol: TICODE_nlab