Interface of symbols, logic