#symbols
  • 1.
    Symbols Prettifier
    2 years ago by Florian Woelki
    favorite
    share
    This plugin allows you to prettify the symbols with actual symbols you commonly type, like arrows.
    View Details