Florida Gators quarterback Anthony Richardson wrote Sunday that he will no longer be using the "AR-15" nickname and branding because of the wave of mass shootings in the United States.

The AR-15 and other semi-automatic rifle types were used in "at least six of the 14 mass shootings this year in which four or more victims died, according to the Gun Violence Archive," per Ashley R. Williams of USA Today.

Richardson, 21, split time with Emory Jones as a redshirt freshman last season, throwing for 529 yards, six touchdowns and five interceptions while completing 59.4 percent of his passes across seven games. He also rushed for 401 yards and three scores.