Álvaro Tejero Cantero <alvaro@antalia.com>

- I suggest creating a different "kewybinding namespace" for the formulas,
 since you could put to good use all those keybindings from the menu (M-?,
 C-?) thath currently do their job PLUS getting you out of the formula.
 Seriously, it'd be great to have more keys free, so M-d t would be time
 derivative and M-d ? derivative with respect to the variable ?. And so on.

   Flattening macros. Sometimes it's annoying the fact that once you have
 written a macro, you can't touch at it's "constant parts". I call flattening
 to the process of substituting all macros with LaTeX code.

   Task: designing a macro substitution system that reads from a file
 (possibly the same file as the document's) the macros and parses the document
 doing the appropriate replacements

  This is very useful, because sometimes you have a big expression in a macro
 and you want to change an index only. What do you do then?. You retype
 everything (perhaps several times in the document) or you create extremely
 generic and parametrizable macros that aren't very fast to fill in the
 majority of cases.