Shortstop José Reyes, who has not played in the major leagues since 2018, officially retired Wednesday, he announced on Twitter.
Reyes, a four-time All-Star, played 16 seasons, starting and finishing his career with the New York Mets, with stints with the Marlins, Blue Jays and Rockies in between.
He was the NL batting champ in 2011 and a three-time NL stolen-base leader. Reyes, 37, had a .283 lifetime batting average, with 2,138 hits and 517 stolen bases.
"Mets fans, what can I say?" Reyes wrote. "We never got the ring we hoped we would get. But I can't imagine playing in front of any better fans in the whole world."