Document `<|`, `|>`, and `|>.`