{
  "codepoint": "U+25C1",
  "codepoint_dec": 9665,
  "name": "WHITE LEFT-POINTING TRIANGLE",
  "glyph": "◁",
  "annotations": [
    {
      "kind": "alias",
      "text": "z notation domain restriction",
      "tag": null,
      "targets": []
    }
  ]
}