← Back to context

Comment by dasyatidprime

3 hours ago

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

0 comments

dasyatidprime

Reply

No comments yet

Contribute on Hacker News ↗