Difference between below 2 sequences?

SystemVerilog
1

What is the difference between below 2 sequence ?

  1. A ##1 B
 2.  A =>B
2
  1. is an implication property, not a sequence.
    Assertions