You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
The text was updated successfully, but these errors were encountered:
Have you read a contributing guide?
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
The text was updated successfully, but these errors were encountered: