[1] Section 11.1.3, Inserting `,' with `@comma{}'.
    https://www.gnu.org/software/texinfo/manual/texinfo/html_node/Inserting-a-Comma.html