<svg viewBox="0 0 560 464" xmlns="http://www.w3.org/2000/svg" role="img" aria-labelledby="array-operators-set-does-not-equal-a-title array-operators-set-does-not-equal-a-desc">
  <title id="array-operators-set-does-not-equal-a-title">Set does not equal A</title>
  <desc id="array-operators-set-does-not-equal-a-desc">A Venn diagram of three overlapping sets A, B, and C inside a universe. Everything is shaded except the part of set A outside B and C. Only an array holding A alone is excluded.</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="#f0f0f0">Set does not equal A</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 A-with-B-and-C-carved-out; only A alone is excluded. -->
  <rect x="40" y="80" width="480" height="280" rx="12" ry="12"
        fill="#232323" 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
           M209.497,246.393 A72,72 0 1 1 280,124.334 A72,72 0 0 0 257.497,192.607 A72,72 0 0 0 209.497,246.393 Z"
        fill-rule="evenodd" fill="#1c3252" />
  <rect x="40" y="80" width="480" height="280" rx="12" ry="12"
        fill="none" stroke="#444444" 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="#f0f0f0">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="#93c5fd" stroke-width="1.5" />
  <circle cx="328" cy="178" r="72" fill="none"
          stroke="#a8a8a8" stroke-width="1.5" />
  <circle cx="280" cy="261" r="72" fill="none"
          stroke="#a8a8a8" 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="#f0f0f0">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="#f0f0f0">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="#f0f0f0">C</text>

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

  <rect x="164" y="392" width="180" height="32" rx="6" ry="6" fill="#1f2a3a" />
  <text x="254" y="413" text-anchor="middle"
        font-family="'Roboto Mono', ui-monospace, SFMono-Regular, Menlo, monospace"
        font-size="13" fill="#c5d4e8">catalog_contents { }</text>

  <rect x="354" y="392" width="48" height="32" rx="6" ry="6" fill="#1f2a3a" />
  <text x="378" y="413" text-anchor="middle"
        font-family="'Roboto Mono', ui-monospace, SFMono-Regular, Menlo, monospace"
        font-size="13" fill="#c5d4e8">{≠}</text>

  <rect x="412" y="392" width="32" height="32" rx="6" ry="6" fill="#1f2a3a" />
  <text x="428" y="413" text-anchor="middle"
        font-family="'Roboto Mono', ui-monospace, SFMono-Regular, Menlo, monospace"
        font-size="13" fill="#c5d4e8">A</text>
</svg>
