gravsten w języku polskim

nagrobek▼noun
trwałe oznaczenie miejsca pochówku ciała lub prochów osób, rzadziej zwierząt, w postaci kompozycji architektonicznej;

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