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

[Glyph Request] Missing Mathematical Operators #567

Closed
ghost opened this issue May 31, 2020 · 1 comment
Closed

[Glyph Request] Missing Mathematical Operators #567

ghost opened this issue May 31, 2020 · 1 comment
Labels
🅰️ Character Request
Milestone
3.2

Comments

@ghost
Copy link

ghost commented May 31, 2020

I noticed that the glyph of U+228E MULTISET UNION (sum type in Agda) is not present in Iosevka (however U+228D MULTISET MULTIPLICATION is). Checked the font specimen and found that some mathematical operators are not implemented, so I opened this issue.

I guess some glyphs may be easier to implement than others, for they can be made by combining existing glyphs (e.g. U+2214 DOT PLUS, U+221B CUBE ROOT, as well as the three multiset operators U+228C ~ U+228E, etc).

(As for myself, I only want U+228E yet ;P)
@be5invis be5invis added this to the 3.2 milestone May 31, 2020
be5invis added a commit that referenced this issue Jun 2, 2020
@be5invis
* Fix R-bar's bar position (#574).
40b49d6 
 * Add U+228C, U+228E, U+2214, U+221B, U+221C (#567).
 * Some refactor to eliminate many macros.
@be5invis be5invis closed this as completed Jun 2, 2020
@be5invis
Copy link
Owner

be5invis commented Jun 2, 2020

image

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
🅰️ Character Request
Projects
None yet
Milestone
3.2
Development

No branches or pull requests
1 participant
@be5invis