1. İsim, Madencilik martensite