In the json site, the number and string diagrams are book-ended by double bars.
What do the double bars mean?
(source: json.org)
