(a) The commissioners are known collectively as the “Railroad Commission of Texas.”
(b) The seal of the commission contains a star of five points with the words “Railroad Commission of Texas” engraved on it.