Question:
Logical abbr.
Answer:

QED

Length:

3