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", "Ă" ) ...
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.