Using logical symbols and emojis
You can use any unicode symbol you want in Argdown. However, it is often cumbersome to copy & paste special characters into a document. Instead you can use shortcodes in Argdown that will be transformed into unicode characters in all export formats.
Shortcodes are surrounded by dots or colons:
Click on the "Map" button to see the unicode characters.
Here is a list of the shortcodes that are currently supported by default:
Adding custom shortcodes
If you are missing a special character in this list, you can simply add a custom shortcode in your configuration:
Using the ArgVu font ligatures for logical symbols
If you use the ArgVu font with Argdown code and activate the
dlig font ligatures, the shortcodes for logical symbols will automatically be displayed as their unicode counterparts (so :A: will look like ∀ and :<->: will look like ↔), without changing the underlying code. This way you can "magically" enter logical symbols in an Argdown document without copy & paste.
You can try this out in the Argdown Sandbox by clicking on "Use ArgVu font" above the code editor.