I'm trying to become better with using proper terminologies and standard notation when taking notes, which lead me to think:


Similar to the indication of a completed proof by use of the **Q.E.D.** mark, or "∎", is there a standard method as to indicate the end of a simplified definition?



Is there a common notation to indicate the final form of a simplified definition?
Following Euclid, you could use [**QEF**](https://mathworld.wolfram.com/QEF.html) (*quod erat faciendum – which had to be done*). Euclid used the Greek version of this (ὅπερ ἔδει ποιῆσαι) to close propositions that were not proofs of theorems, but constructions of geometric objects.


