> I read [expr.ref#2] which includes the following sentence:
>
>> *The expression E1->E2 is converted to the equivalent form (*(E1)).E2*
>
> My question is, does this mean that "every" expression that has the form
> *E1->E2* will be converted to *(*(E1)).E2. *I mean it is not clear to me
> in what situations/contexts does the above sentence hold?

Look at the previous sentence.