docs: explicitly show implication operator ==> when introducing it in "Getting Started with Dafny: A Guide"
#586
| Job | Run time |
|---|---|
| 0s | |
| 0s |
==> when introducing it in "Getting Started with Dafny: A Guide"
#586
| Job | Run time |
|---|---|
| 0s | |
| 0s |