Aside: in Unicode we now have ″ and ′ for that. Also the triple variant: ‴