And I really hope the future for math be some lisp-like syntax where no special syntax is required every new concept is introduced.