symbols mined