{
  "codepoint": "U+2192",
  "codepoint_dec": 8594,
  "name": "RIGHTWARDS ARROW",
  "glyph": "→",
  "annotations": [
    {
      "kind": "alias",
      "text": "z notation total function",
      "tag": null,
      "targets": []
    }
  ]
}