An abbreviation for the Latin phrase ``quod erat demonstrandum'' (``that which was to be demonstrated''), a Notation which is often placed at the end of a mathematical proof to indicate its completion.