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

Lightning (U+2607). #2158

Closed
3 of 13 tasks
jmcwilliams403 opened this issue Jan 11, 2024 · 0 comments
Closed
3 of 13 tasks

Lightning (U+2607). #2158

jmcwilliams403 opened this issue Jan 11, 2024 · 0 comments
Labels
🅰️ Character Request
Milestone
Backlog

Comments

@jmcwilliams403
Copy link
Contributor

  • The requested characters are ...
    • Latin
    • Cyrillic
    • Greek
    • Punctuation
    • Diacritic / Mark
    • Symbol
  • The requested characters are used in ...
    • The alphabet / character set of a natural language.
    • The alphabet / character set of a constructed language.
    • The alphabet / character set of a transliteration or notation system.
    • Mathematical or other professional use in documents.
    • The symbol set of a programming language. For the languages that support using arbitrary symbols, please provide usages in well-known components or libraries.
    • The symbol set of a command-line program.
  • Some other monospace/programming fonts supported this character. Provide images below.

This character is used as a rerank function operator for the Uiua language. Source
image

☇

DejaVu Sans Mono:
image

Pragmata Pro:
image

Julia Mono:
image

Fairfax HD:
image

Everson Mono:
image
@be5invis be5invis added this to the Backlog milestone Jan 11, 2024
be5invis added a commit that referenced this issue Jan 12, 2024
@be5invis
* Add characters:
21818c2 
  - LIGHTNING (`U+2607`) (#2158).
  - SUBSET WITH DOT (`U+2ABD`).
  - SUPERSET WITH DOT (`U+2ABE`).
*  `APLF` feature will apply to all [Uiua](https://www.uiua.org/) operators.
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
Backlog
Development

No branches or pull requests
2 participants
@be5invis @jmcwilliams403