What is the diffrence between Non-Consecutive GoTo Repetition Operator and Repetition Non-Consecutive in system verilog?

Question

I'm currently reading Ashok Mehta's system Verilog assertion textbook. Now I have encountered a doubt. I couldn't understand what is the difference between -> and = operator. I.e, Non-Consecutive GoTo Repetition Operator and Repetition Non-Consecutive. Some please explain what is the difference. The timing things in the textbook will be similar even if we used = instead of ->. Please explain me.

Answer 1

The difference comes into play is when a sequence follows these repetition operators.

b[=2] ##1 c

is equivalent to

b[->2] ##1 !b[*0:$] ##1 c

There are other ramifications when using these operators discussed here