10000 Remove some unclear unicode alternatives · Issue #700 · evhub/coconut · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Remove some unclear unicode alternatives #700
New issue
New issue
Closed
Closed
Remove some unclear unicode alternatives#700
Labels
modificationresolved
Milestone
 
v2.2.0
@evhub

Description

@evhub
evhub
opened on Dec 8, 2022

Specifically:

⊕ (\u2295) => "^"
⋅ (\u22c5) => "@" (only matrix multiplication)
¬ (\xac) => "~"

If anyone really wants them, you can always get them back now via custom operators.

Metadata

Metadata

Assignees

No one assigned

    Labels

    modificationresolved

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0