{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nUsed for marking the end of a proof and separating it from the current text. The initialism Q.E.D. or QED (quod erat demonstrandum, \"as was to be shown\") is often used for the same purpose, either in its upper-case form or in lower case.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "JFR71Q639T"
    ],
    "kind": "concept",
    "name": "Qed",
    "sources": [
      {
        "locator": "Glossary of mathematical symbols, section Symbols that do not belong to formulas",
        "mention": "wikipedia://en/73634#JK8E",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:73634@r1376316324"
      }
    ],
    "tag": "HQZQHC2H44"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/HQZQHC2H44/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/HQZQHC2H44.md",
  "msc": null,
  "name": "Qed",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/HQZ/HQZQHC2H44.md",
  "status": null,
  "tag": "HQZQHC2H44",
  "uri": "m2://HQZQHC2H44",
  "url": "https://math2.tamnd.com/wiki/qed/",
  "writing": {
    "tag": "HQZQHC2H44",
    "kind": "concept",
    "level": "W1",
    "next": [
      {
        "what": "edge defines in",
        "note": "at least one definition",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge instance_of in",
        "note": "at least two examples",
        "have": 0,
        "want": 2
      },
      {
        "what": "edge not_instance_of in",
        "note": "at least one non-example",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge specializes both",
        "note": "the more general notions and the special cases",
        "have": 0,
        "want": 1
      }
    ]
  }
}