Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Double Prime and Prime #145

Closed
edvbiz opened this issue Mar 15, 2018 · 4 comments
Closed

Double Prime and Prime #145

edvbiz opened this issue Mar 15, 2018 · 4 comments
Assignees

Comments

@edvbiz
Copy link

edvbiz commented Mar 15, 2018

I'm missing

  • the Double Prime, U+2033, being the official character for inch and sometimes for second,
  • and the Prime, U+2032, being the character for foot or minute.

Cf. https://en.wikipedia.org/wiki/Prime_(symbol)
Sure can emulate this, but as seen below, somehow it's not the same. Since we often have things like abbreviating inches in IT, in my view that would be helpful to have.

grafik

or
grafik

@BoldMonday
Copy link
Collaborator

BoldMonday commented Mar 15, 2018

Primes have been discussed, and are on the list of things to add in the future.

For the moment I suggest not to use U+02DD, U+030B, U+00B4, U+0301 as alternatives because these are diacritical marks (acute and double acute).

I think a better alternative are the ascii single and double quote symbols:
plex-ascii-quotes
These shapes are not slanted unfortunately, but at least have correct proportions and better spacing.

@mjabbink
Copy link
Contributor

Yes, coming in the future.

@mjabbink
Copy link
Contributor

mjabbink commented Nov 1, 2018

@edvbiz the latest version will have primes. And Greek.

@BoldMonday
Copy link
Collaborator

FWIW: prime symbols are part of all Plex fonts as of Release v6.0.0

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants