1. Noun. (mathematics) The symbol “(term sc=unicode ?)” marking the end of a proof. ¹
¹ Source: wiktionary.com