function symbol (logic)