#symbol times two #second symbol #symbol and two #double count symbol #dual instance