> These symbols map closely to the logical statements we are used too in programming.

too => to

> Hofstadter’s “I’m a Stange Loop”

Stange => Strange