How to encode a JSON (JavaScript Object Notation) value into a pretty-printing string using the JSON_PRETTY() function?

JSON_PRETTY(json) is a MySQL built-in function that encodes a JSON (JavaScript Object Notation) value into a pretty-printing string. For example:

SELECT JSON_PRETTY('["a",1,{"key1": "value1"},"5","77",{"key2":
  ["value3","valueX", "valueY"]},"j", "2"]');
  -- +------------------------------------------------------------+
  -- | JSON_PRETTY('["a",1,{"key1": "value1"},"5","77",{"key2":
  ["value3","valueX", "valueY"]},"j", "2"]')                 |
  -- +------------------------------------------------------------+
[
  "a",
  1,
  {
    "key1": "value1"
  },
  "5",
  "77",
  {
    "key2": [
      "value3",
      "valueX",
      "valueY"
    ]
  },
  "j",
  "2"
]
  -- +------------------------------------------------------------+

Reference information of the JSON_PRETTY() function:

JSON_PRETTY(json): str
  Encodes a JSON (JavaScript Object Notation) value
  into a pretty-printing string.

Arguments, return value and availability:
  json: Required. The JSON value to be encoded
  str: Return value. The pretty-printing JSON encoded string.
  Available since MySQL 5.7.

⇒ JSON_QUOTE() - Quoting JSON String

⇐ JSON_OVERLAPS() - Checking JSON Overlaps

⇑ MySQL Functions on JSON Values

⇑⇑ MySQL Function References