Unicode primes

[stevengj]

t' and t'' get rendered as-is using ASCII quotes, but they could be rendered using Unicode prime characters t′ and t″.

Here are several Unicode primes.

[bartp5]

currently libtexprintf has the \prime, \second, \third, \fourth, and `\backprime¸ symbols. Obviously it is nice to automatically parse the single quites to generate the regular primes. I'll have a look. The more special primes, like the double backprime, will just be symbols.

[bartp5]

new version implements single to quadruple primes, i.e. a' a'' a''' a''''. I also added some additional primes to the symbol list and made aliases for those I head but apparently also go by other names.

[stevengj]

Great! I would suggest a different fallback, though for more than 4 primes, though. Right now you have src/utftex "y'''''" render as

y⁗′

Maybe it should render as y′′′′′ instead? i.e. fallback to repeating ′?

[bartp5]

I see, the way I did it we depend on whoever designed the fonts on how consistent the primes look. I guess more than 4 primes is not much of a use case but, who knows, I made it so.