Wiktionary
halmos
n. (context mathematics English) The symbol “(term ∎ sc=Zmth Translingual)” marking the end of a proof.