Add parsing for the subscript (_) operator
Add parsing for relationals, exists and forall
Add parsing of \lim, \to, \exp
Update libs