<svg viewBox="0 0 560 464" xmlns="http://www.w3.org/2000/svg" role="img" aria-labelledby="array-operators-set-does-not-contain-a-and-b-title array-operators-set-does-not-contain-a-and-b-desc">
  <title id="array-operators-set-does-not-contain-a-and-b-title">Set does not contain A and B</title>
  <desc id="array-operators-set-does-not-contain-a-and-b-desc">A Venn diagram of three overlapping sets A, B, and C inside a universe. Everything except the lens where A and B overlap is shaded. The filter excludes only the arrays holding A and B together, so arrays containing just one of the two still match.</desc>

  <!-- ============ Title ============ -->
  <text x="280" y="52" text-anchor="middle"
        font-family="Inter, system-ui, -apple-system, 'Segoe UI', sans-serif"
        font-size="18" font-weight="600" fill="#13294b">Set does not contain A and B</text>

  <!-- ============ Universe ============
       Logical region: 1px dashed cardBorder over surfaceMuted, x 40..520, y 80..360.
       Interior padding 20 h / 24 v -> usable x 60..500, y 104..336.
       Shaded: the universe minus the A-and-B lens only - arrays holding just one of the two still match. -->
  <rect x="40" y="80" width="480" height="280" rx="12" ry="12"
        fill="#F8F9FB" stroke="none" />
  <path d="M52,80 H508 A12,12 0 0 1 520,92 V348 A12,12 0 0 1 508,360 H52 A12,12 0 0 1 40,348 V92 A12,12 0 0 1 52,80 Z
           M280,124.334 A72,72 0 0 0 280,231.666 A72,72 0 0 0 280,124.334 Z"
        fill-rule="evenodd" fill="#c1e0fe" />
  <rect x="40" y="80" width="480" height="280" rx="12" ry="12"
        fill="none" stroke="#dedfe2" stroke-width="1" stroke-dasharray="4 4" />

  <text x="60" y="104"
        font-family="Inter, system-ui, -apple-system, 'Segoe UI', sans-serif"
        font-size="11" font-weight="500" fill="#13294b">Universe</text>

  <!-- ============ Three-set Venn ============
       r=72, near-equilateral centres 96 apart: A (232,178) B (328,178) C (280,261).
       Sets named in the filter take the accent stroke; the rest stay muted. -->
  <circle cx="232" cy="178" r="72" fill="none"
          stroke="#1e61f0" stroke-width="1.5" />
  <circle cx="328" cy="178" r="72" fill="none"
          stroke="#1e61f0" stroke-width="1.5" />
  <circle cx="280" cy="261" r="72" fill="none"
          stroke="#6f7480" stroke-width="1.5" />

  <!-- Set labels sit outside their circles so the shaded region stays clean -->
  <text x="148" y="183" text-anchor="end"
        font-family="Inter, system-ui, -apple-system, 'Segoe UI', sans-serif"
        font-size="13" font-weight="600" fill="#13294b">A</text>
  <text x="412" y="183" text-anchor="start"
        font-family="Inter, system-ui, -apple-system, 'Segoe UI', sans-serif"
        font-size="13" font-weight="600" fill="#13294b">B</text>
  <text x="343" y="326" text-anchor="start"
        font-family="Inter, system-ui, -apple-system, 'Segoe UI', sans-serif"
        font-size="13" font-weight="600" fill="#13294b">C</text>

  <!-- ============ Filter expression ============
       Labels right-aligned, chips sharing a start x; rows pitch 44 from y=392. -->
  <text x="140" y="413" text-anchor="end"
        font-family="Inter, system-ui, -apple-system, 'Segoe UI', sans-serif"
        font-size="13" font-weight="400" fill="#6f7480">where</text>

  <rect x="152" y="392" width="180" height="32" rx="6" ry="6" fill="#edf2ff" />
  <text x="242" y="413" text-anchor="middle"
        font-family="'Roboto Mono', ui-monospace, SFMono-Regular, Menlo, monospace"
        font-size="13" fill="#1005a0">catalog_contents { }</text>

  <rect x="342" y="392" width="48" height="32" rx="6" ry="6" fill="#edf2ff" />
  <text x="366" y="413" text-anchor="middle"
        font-family="'Roboto Mono', ui-monospace, SFMono-Regular, Menlo, monospace"
        font-size="13" fill="#1005a0">{∌}</text>

  <rect x="400" y="392" width="56" height="32" rx="6" ry="6" fill="#edf2ff" />
  <text x="428" y="413" text-anchor="middle"
        font-family="'Roboto Mono', ui-monospace, SFMono-Regular, Menlo, monospace"
        font-size="13" fill="#1005a0">A, B</text>
</svg>
