where refers to the symmetric difference (bitwise XOR), and noting that S j ⊂ S 0 . With this definition, we see that we will select single bits for each nonzero primitive in b j and remove them from S 0 . This operation creates a more specialized SMARTS pattern as it has strictly fewer bits than S 0 and will therefore match with fewer chemical environments. For example if