FIXED: asterisk substitution was wrong.

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