This is the creator of MathLingua, a unique language for easily describing
mathematical definitions, theorems, axioms, and conjectures.It is unique from LaTeX and theorem proving languages and has a different
goal.  See the documentation at www.mathlingua.org for more information.This post is a follow-up to 
and many changes have been made to MathLingua since that time based on
the feedback from that post.