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.

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

Auto convert != to ≠ Symbol (Unicode) #1110

Open
3 tasks done
larsb24 opened this issue Dec 20, 2024 · 0 comments
Open
3 tasks done

Auto convert != to ≠ Symbol (Unicode) #1110

larsb24 opened this issue Dec 20, 2024 · 0 comments
Labels
enhancement New feature or request

Comments

@larsb24
Copy link

larsb24 commented Dec 20, 2024

Have you read a contributing guide?

  • I have read CONTRIBUTING.md
  • I have searched the existing requests and didn't find any that were similar
  • I have considered creating a pull request instead and want to proceed

Clear and concise description of the problem

Not really a problem per-se but would be a nice (and probably pretty simple) addition
Anytype already converts certain character combinations to unicode signs.
For example -> becomes a proper arrow (→) and so on.

Suggested solution

It would be really nice if other things such as != would also translate to unicode signs such as ≠.
Another similar useful addition could be ~= to ≈

Alternative

No response

Additional context

No response

@larsb24 larsb24 added the enhancement New feature or request label Dec 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant