{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"//!"}]}
//! labeled with the &sube; character (specified using the HTML character
//! Hasse-diagram for the subsets of the set `{x, y}`. Each edge is
//! entity `&sube`).