- (a) May 9 is Willie Velasquez Day in observance of the birthday of William "Willie" Cardenas Velasquez.
- (b) Willie Velasquez Day shall be regularly observed by appropriate ceremonies and activities.
Added by Acts 2013, 83rd Leg., R.S., Ch. 1303 (H.B. 3209), Sec. 1, eff. September 1, 2013.