FIXED BUG: asterisk substitution

The asterisk char * is not substituted with \ast{}, anywhere there is one.
The asterisk in the \begin and \end of LaTeX environs are corretly handled(think of \begin{equation*}).