I'm reading a book on description logic and I found white and black squares at the end of some paragraphs. I would think they stand for Q.E.D., but since there are two types used in one book, I believe the black square states for something else. What could it be? Is there some convention for it?
(I checked and there is no list with explanation of symbols used in the book).