What abbreviation was the minted sign based off of?