znak końca dowodu

znak końca dowodu po angielsku

1. halmos, tombstone

   (termin typograficzny) (matematyka, matematyczny) symbol stosowany przez matematyków do oznaczania końca dowodu