This is bogus... They were using "smiley" face symbols long before we used them on computers. "Teletype" - used these many many years before the 1980s.
We warn the reader in advance that the proof presented here depends on a clever but highly unmotivated trick. -- Howard Anton, "Elementary Linear Algebra"