兖州煤业：证券简称从12月9日起变更为“兖矿能源”。