Letters after a proof

• Logician's "as was proven"
• Proved, in math
• Theorem initials
• Proof-ending letters
• Proof ending
• It's often caught by proof readers
• Geometer's P.S.
• Abbr. in math class
• The end of mathematics?

Wikipedia Word definitions in Wikipedia
QED is a line-oriented computer text editor that was developed by Butler Lampson and L. Peter Deutsch for the Berkeley Timesharing System running on the SDS 940 . It was implemented by L. Peter Deutsch and Dana Angluin between 1965 and 1966. QED (for "quick ...