Another unicode alternative prime symbol