I’ve been working on a variant of Markdown that can handle mathematical notation in various ways, both in the usual LaTeX way and (for light work) just using named Html entities. Here is an example:
And here is the “source code:”
A ⊂ B ∧ B ⊂ C ⇒ A ⊂ C
For this I copied a dictionary that maps names to unicode characters from hecrj/html-parser (the dictionary was not exposed). For my current purposes I had to add some symbols to it, e.g., the blackboard bold characters …
dict : Dict String String
dict =
[ ( "Aacute", "Á" )
, ( "bbA", "𝔸" )
, ( "bbB", "𝔹" )
...
, ( "to", "→" )
, ( "from", "←" )
, ( "Abreve", "Ă" )
...
After from, the dictionary is the same as that of hecrj. I’d like to expand the dictionary so as to handle all commonly used symbols in mathematics and logic — a big undertaking.
For that reason, I welcome pull requests for the dictionary code.
I will probably go through the dictionary to remove symbols that are not used in math/logic/science so as to have a more targeted resource for those who need it, but am not sure yet that this is the right approach.
A big shout-out to hecrij for his dictionary.