71507d7 Added symbol