... notation¹

This is different in programming, e.g. in JAVA we use "..." to signal that we mean things literally.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... as²

$\Rightarrow ^*_G$ is the transitive-reflexive closure of $\Rightarrow ^*_G$.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.