Merge pull request #2 from belerico/mathml

Add MathML support

README.md

@@ -230,44 +230,22 @@ i: s -> exp_interm
 s: l start? r -> exp_par
     | u s -> exp_unary
     | b s s -> exp_binary
-    | latex -> symbol
+    | asciimath -> symbol
     | c -> const
     | QS -> q_str
 c: /d[A-Za-z]/ // derivatives
   | NUMBER
   | LETTER
-l: {} // left parenthesis
-r: {} // right parenthesis
-b: {} // binary functions
-u: {} // unary functions
-latex: {}
+l: "(" | "(:" | "[" | "{" | "{:" | "|:" | "||:" | "langle" | "<<" // left parenthesis
+r: ")" | ":)" | "]" | "}" | ":}" | ":|" | ":||" | "rangle" | ">>" // right parenthesis
+b: {} // binary functions symbols
+u: {} // unary functions symbols
+asciimath: {} // asciimath symbols
 QS: "\"" /(?<=").+(?=")/ "\"" // Quoted String
 ```
 For the complete list of symbols, please refer to http://asciimath.org/#syntax. The only symbol that I've added is `dstyle`, that stands for `displaystyle` as a unary function.
 
-## Rendering (LaTeX semantics)
-
-A parsed ASCIIMath string is rendered as follows:
-
-* `latex`, `u` and `c` symbols are converted to their LaTeX equivalent
-* `text` and `ul` correspond to the `\textrm` and `\underline` functions
-* `bb`, `bbb`, `cc`, `tt`, `fr` and `sf` correspond to the `\boldsymbol`, `\mathbb`, `\mathcal`, `\texttt`, `\mathfrak` and `\textsf` functions
-* `frac` is rendered as a fraction, `root n x` as the n-th root of x and `stackrel x y` displays x upon y
-* Any text placed between a pair of `"` is rendered in the same font as normal text.
-* `/` stands for a fraction. The `_` and `^` tokens have the same behaviour as in LaTeX but the subscript must be placed before the superscript if they are both present
-
-### Delimiters
-
-Left and right delimiters are preceded by the `\left` and `\right` commands to be well-sized. `(:` and `:)` are chevrons (angle parenthesis). `{:` and `:}` are invisible delimiters like LaTeX's {. `|:` is converted to `\lvert` , while `||:` is converted to `\lVert`. The other delimiters are rendered as expected.  
-Useless delimiters are automatically removed in expressions like: 
-
-* `(...)/(...)`
-* `(...)_(...)`, `(...)^(...)` and the combination of sub and superscript
-* `u (...)`, `b (...) (...)` where u and b are unary and binary operators
-
-If you want them to be rendered, you have to double them, for example: `((x+y))/2` or `{: (x+y) :}/2`.
-
-### Matrices and systems of equations
+## Rendering (matrices and systems of equations)
 
 For a text to be rendered as a matrix must have a structure like 
 
@@ -290,6 +268,31 @@ that is:
 Since `L` and `R` can be any left or right parenthesis, and every matrices must have the same number of columns, to render a system of equation one can write something like `{[(root n x)/(x) <= 4], [x^2=e^x]:}`.  
 On the other hand a matrix can be somenthing like `[[(root n x)/(x) <= 4, int x dx], [x^2=e^x, lim_(x to infty) 1 / (x^2)]]`.
 
+## Rendering (LaTeX semantics)
+
+A parsed ASCIIMath string is rendered as follows:
+
+* `latex`, `u` and `c` symbols are converted to their LaTeX equivalent
+* `text` and `ul` correspond to the `\textrm` and `\underline` functions
+* `bb`, `bbb`, `cc`, `tt`, `fr` and `sf` correspond to the `\boldsymbol`, `\mathbb`, `\mathcal`, `\texttt`, `\mathfrak` and `\textsf` functions
+* `frac` is rendered as a fraction, `root n x` as the n-th root of x and `stackrel x y` displays x upon y
+* Any text placed between a pair of `"` is rendered in the same font as normal text.
+* `/` stands for a fraction. The `_` and `^` tokens have the same behaviour as in LaTeX but the subscript must be placed before the superscript if they are both present
+
+### Delimiters
+
+Left and right delimiters are preceded by the `\left` and `\right` commands to be well-sized. `(:` and `:)` are chevrons (angle parenthesis). `{:` and `:}` are invisible delimiters like LaTeX's {. `|:` is converted to `\lvert` , while `||:` is converted to `\lVert`. The other delimiters are rendered as expected.  
+Useless delimiters are automatically removed in expressions like: 
+
+* `(...)/(...)`
+* `(...)_(...)`, `(...)^(...)` and the combination of sub and superscript
+* `u (...)`, `b (...) (...)` where u and b are unary and binary operators
+
+If you want them to be rendered, you have to double them, for example: `((x+y))/2` or `{: (x+y) :}/2`.
+
 ## Rendering (MathML semantics)
 
-The translation follows the MathML specification at https://www.w3.org/TR/MathML3/
+The translation follows the MathML specification at https://www.w3.org/TR/MathML3/.
+
+# Known issues
+The MathML1 DTD validation will fail when one wish to apply a font style