Zhengzhou Coal Mining Machinery Group changed its English name to ZCZL Industrial Technology Group (HKG:0564, SHA:601717), a Monday Hong Kong bourse filing said.
The move came after the coal mining machinery maker obtained the relevant name change certificate.
The firm's English stock short name will be changed to ZCZL from ZMJ effective Nov. 14.