It is the symbol that sometimes looks like ▯, and is used to indicate an end, usually the end of a proof.
É o símbolo que ás veces aparece como ▯, e úsase para indicar un final, habitualmente o final dunha proba.