“double prime” is another name for Prime mark.