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
A command, or perhaps better implemented as a family of commands, that allows users to generate unicode characters that might otherwise be difficult or tedious to find.
Potential examples
Accents
$umlaut e -> ë $acute e -> é $grave E -> È $dipthong ae -> æ $cedilla c -> ç
Mathematical symbols
$sigma/$Sigma -> σ/Σ $pi/$Pi -> π/Π $ne -> ≠
(Note: having each greek symbol might be too much hassle, could do $greek sigma Sigma pi Pi instead)
Misc.
$currency euro -> €
This isn't supposed to be an exhaustive list, and there's no need to add arbitrary symbols if they won't see use. However, this could be a good beginner issue to implement/extend.
The text was updated successfully, but these errors were encountered:
A command, or perhaps better implemented as a family of commands, that allows users to generate unicode characters that might otherwise be difficult or tedious to find.
Potential examples
Accents
$umlaut e
-> ë$acute e
-> é$grave E
-> È$dipthong ae
-> æ$cedilla c
-> çMathematical symbols
$sigma
/$Sigma
-> σ/Σ$pi
/$Pi
-> π/Π$ne
-> ≠(Note: having each greek symbol might be too much hassle, could do
$greek sigma Sigma pi Pi
instead)Misc.
$currency euro
-> €This isn't supposed to be an exhaustive list, and there's no need to add arbitrary symbols if they won't see use. However, this could be a good beginner issue to implement/extend.
The text was updated successfully, but these errors were encountered: