In NFL games, you may have noticed a bright green dot on one or two players’ helmets. According to NFL rules, this is a