{
  "codepoint": "U+22A8",
  "codepoint_dec": 8872,
  "name": "TRUE",
  "glyph": "⊨",
  "annotations": [
    {
      "kind": "alias",
      "text": "statement is true, valid",
      "tag": null,
      "targets": []
    },
    {
      "kind": "alias",
      "text": "is a tautology",
      "tag": null,
      "targets": []
    },
    {
      "kind": "alias",
      "text": "satisfies",
      "tag": null,
      "targets": []
    },
    {
      "kind": "alias",
      "text": "results in",
      "tag": null,
      "targets": []
    }
  ]
}