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.

Sign up for GitHub

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

Jump to bottom

Diameter symbol #247

Open
bisato opened this issue Jan 23, 2020 · 5 comments
Open

Diameter symbol #247

bisato opened this issue Jan 23, 2020 · 5 comments
Labels
help-wanted kind:feature

Comments

@bisato
Copy link

bisato commented Jan 23, 2020

Hello,

is it possible to draw a diameter symbol like in TeX? \diameter

Greetings

Tobias
@ForNeVeR
Copy link
Owner

Hello! It looks like this character is absent from the Computer Modern font we use. So, right now the answer is: not.

I was going to suggest you use \text{∅} as a substitute, but it's failed, we'll investigate.

As a bigger answer: we have plans to add more fonts and more characters available by default, but for now this is blocked on #107.

@rstm-sf
Copy link
Contributor

rstm-sf commented Jan 29, 2020

Hello!

Are you comfortable with this \text{Ø}?

LATIN CAPITAL LETTER O WITH STROKE

@bisato
Copy link
Author

bisato commented Jan 30, 2020

Thank you rstm-sf that would be a good solution

@HolzetheKid
Copy link

Hallo,

the current release is supporting the diameter symbol.
image

So i would suggest that this issue is closed.

@ForNeVeR
Copy link
Owner

Yes, \text{Ø} works (according to #107 which is marked as fixed), but \diameter still isn't.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
help-wanted kind:feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@ForNeVeR @bisato @rstm-sf @HolzetheKid