{
  "codepoint": "U+20E6",
  "codepoint_dec": 8422,
  "name": "COMBINING DOUBLE VERTICAL STROKE OVERLAY",
  "glyph": "⃦",
  "annotations": [
    {
      "kind": "alias",
      "text": "z notation finite function diacritic",
      "tag": null,
      "targets": []
    },
    {
      "kind": "cross-ref",
      "text": "",
      "tag": null,
      "targets": [
        {
          "codepoint": "U+2016",
          "name": "DOUBLE VERTICAL LINE"
        }
      ]
    },
    {
      "kind": "cross-ref",
      "text": "",
      "tag": null,
      "targets": [
        {
          "codepoint": "U+21FB",
          "name": "RIGHTWARDS ARROW WITH DOUBLE VERTICAL STROKE"
        }
      ]
    },
    {
      "kind": "cross-ref",
      "text": "",
      "tag": null,
      "targets": [
        {
          "codepoint": "U+2901",
          "name": "RIGHTWARDS TWO-HEADED ARROW WITH DOUBLE VERTICAL STROKE"
        }
      ]
    },
    {
      "kind": "cross-ref",
      "text": "",
      "tag": null,
      "targets": [
        {
          "codepoint": "U+2915",
          "name": "RIGHTWARDS ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE"
        }
      ]
    }
  ]
}