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

Add set operations #822

Closed
tonsky opened this issue Aug 30, 2019 · 1 comment
Closed

Add set operations #822

tonsky opened this issue Aug 30, 2019 · 1 comment
Labels
Unicode
Milestone
3

Comments

@tonsky
Copy link
Owner

tonsky commented Aug 30, 2019

U+222A ∪
U+2200 ∀
U+2203 ∃
U+2204 ∄
U+2205 ∅
U+2207 ∇
U+2282 ⊂
U+2283 ⊃
U+2284 ⊄
U+2285 ⊅
U+2208 ∈
U+2209 ∉
U+220A ∊
U+220B ∋
U+220C ∌
U+220D ∍
@tonsky tonsky added the Unicode label Aug 30, 2019
@tonsky tonsky added this to the 3 milestone Sep 10, 2019
@zoickx zoickx mentioned this issue Sep 15, 2019
Closed
Losangelosgenetics pushed a commit to Losangelosgenetics/FiraCode that referenced this issue Mar 13, 2020
@antstorm
Deprecate old format rules (tonsky#822)
00bda38
This was referenced Apr 5, 2020
Closed
Closed
@atlv24
Copy link

atlv24 commented Apr 6, 2020

Awesome! If you're gonna add union ∪, you should also get intersection ∩. Also ⊆ ⊇ to complete ⊂ and ⊃.

@tonsky tonsky closed this as completed in a5b9c80 Apr 8, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Unicode
Projects
None yet
Milestone
3
Development

No branches or pull requests
2 participants
@tonsky @atlv24