I think this is great stuff. I have been thinking very much along these lines for a few months now as well, as a user interface for a logic I discovered. In the

I think this is great stuff. I have been thinking very much along these lines for a few months now as well, as a user interface for a logic I discovered. In the end, TeX does something very similar, just with a sharp focus on typesetting. I am not sure if the focus on Wiki is sharp enough to succeed similarly, but on the other hand, why not?