    title: 'Emoji as Unicode character',
            comment: 'üßëüèª‚ÄçüöÄ = astronaut (U+1F9D1 U+1F3FB U+200D U+1F680)',
            latex: `üßëüèª‚ÄçüöÄ`,
          },
          {
            title: 'Not',
            comment:
              'The <kbd>\\not</kbd>, <kbd>\\ne</kbd> and <kbd>\\neq</kbd> commands ' +
              'are rendered with an <kbd>OverlapAtom</kbd> and a <kbd>mrel</kbd> atom type',
            latex: `x=a\\ne b \\not= c \\not{=}d \\neq e \