Actually Id love to. I did a bad choice of writing Nota in Haskell. I will rewrite it in JavaScript so that I can also port it to the web and then if possible I will add as much more capability as I can. Symbolic is super cool but hard to implement, I should see how much time I have and how much others are willing to help.