Adding state symbols