Closed jmkeil closed 4 months ago
This PR fixes a few alternative symbol typos.
Thanx so much, Jan Martin! I have no idea how these errors (it's more errors than typos actually) have originated.
This PR fixes a few alternative symbol typos.