  to mean that the n-tuple a is in the set defined by φ. (The entry on  classical logic  uses the notation ‘A,s  ⊨ φ’,  where s is any assignment to all the variables of L that assigns to each variable vi free in φ the i-th element in the n-tuple a.) 