异极矿、符山石与绿柱石