The week in which Labor Day occurs is designated as "Ohio Coal Miners Week" in honor of the citizens of this state who have worked and continue to work in the coal mines of the state.
Ohio Coal Miners Week
Ohio Rev. Code Ann. § 5.2272, under Chapter 5 | State Insignia; Seals; Holidays.
Ohio Rev. Code Ann. § 5.2272