U+220E END OF PROOF. Introduced into mathematical usage by Paul Halmos in 1950 to replace the phrase Q.E.D., hence the alternative name "halmos" for this symbol.
Bingo. -- You will notice that the proof in question is one of utmost minimalist simplicity. That it because it encapsulates what (to a superior mathematical intelligence) would be self-evident, and require no further proot.