@font-face{font-family:mathFont;src:url(/_next/static/media/77a8b4bfe4c9c25a-s.p.woff2) format("woff2");font-display:swap}@font-face{font-family:mathFont Fallback;src:local("Arial");ascent-override:100.06%;descent-override:39.59%;line-gap-override:0.00%;size-adjust:106.84%}.__className_809b50{font-family:mathFont,mathFont Fallback}.__variable_809b50{--font-math:"mathFont","mathFont Fallback"}@font-face{font-family:displayFont;src:url(/_next/static/media/a7664743071e8fd9-s.p.woff2) format("woff2");font-display:swap;font-weight:100 900}@font-face{font-family:displayFont Fallback;src:local("Arial");ascent-override:98.46%;descent-override:29.83%;line-gap-override:0.00%;size-adjust:101.56%}.__className_126592{font-family:displayFont,displayFont Fallback}.__variable_126592{--font-display:"displayFont","displayFont Fallback"}:root{--ground:#f7f4e9;--surface:#ffffff;--ink:#1e1e1d;--ink-2:#666666;--line:#1e1e1d;--line-soft:rgb(30 30 29/0.14);--select:#cbff00;--select-ink:#1e1e1d;--display:var(--font-display),system-ui,sans-serif;--math:var(--font-math),"Cambria Math","STIX Two Math",serif;--body:system-ui,-apple-system,"Segoe UI",Roboto,"Helvetica Neue",Arial,sans-serif;--mono:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;--gutter:16px;--gap:12px;--radius:22px;--radius-s:14px;--rail-w:176px;--ease:cubic-bezier(0.16,1,0.3,1);color-scheme:light dark}@media (prefers-color-scheme:dark){:root{--ground:#1e1e1d;--surface:#292929;--ink:#f7f4e9;--ink-2:#b8b8b8;--line:#5a5a58;--line-soft:rgb(247 244 233/0.13)}}[data-cat=basic-operators]{--c:#f75a1c;--c-ink:#1e1e1d}[data-cat=relations]{--c:#655fff;--c-ink:#ffffff}[data-cat=set-theory]{--c:#4dcfe4;--c-ink:#1e1e1d}[data-cat=logic]{--c:#292929;--c-ink:#f7f4e9}[data-cat=greek-letters]{--c:#f76363;--c-ink:#1e1e1d}[data-cat=arrows]{--c:#faae3b;--c-ink:#1e1e1d}[data-cat=calculus]{--c:#60d18e;--c-ink:#1e1e1d}[data-cat=geometry]{--c:#cbff00;--c-ink:#1e1e1d}[data-cat=constants]{--c:#ceccff;--c-ink:#1e1e1d}[data-cat=brackets]{--c:#0f4af4;--c-ink:#ffffff}[data-cat=syntax]{--c:#5d00fd;--c-ink:#ffffff}@media (prefers-color-scheme:dark){[data-cat=logic]{--c:#f7f4e9;--c-ink:#1e1e1d}}*,:after,:before{box-sizing:border-box}html{-webkit-text-size-adjust:100%;scrollbar-color:var(--ink-2) var(--ground)}body{margin:0;background:var(--ground);color:var(--ink);font:16px/1.55 var(--body);caret-color:currentColor}::selection{background:var(--select);color:var(--select-ink)}a{color:inherit;text-decoration-thickness:1px;text-underline-offset:.2em}:focus-visible{outline:2px solid var(--ink);outline-offset:3px}h1,h2{font-family:var(--display);font-weight:500;letter-spacing:-.02em;text-wrap:balance}h2{font-size:1.25rem;line-height:1.2;margin:0 0 .5rem}code,kbd{font-family:var(--mono);font-size:.9em}.math{font-family:var(--math);font-weight:400}.sr-only{width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap;border:0}.skip,.sr-only{position:absolute}.skip{left:-9999px;z-index:20}.skip:focus{left:var(--gutter);top:8px;background:var(--select);color:var(--select-ink);padding:6px 12px;border-radius:999px}body{display:grid;grid-template-columns:minmax(0,1fr);grid-gap:var(--gap);gap:var(--gap);padding:var(--gutter)}.rail{display:flex;gap:8px;overflow-x:auto;scrollbar-width:none;margin:0 calc(-1 * var(--gutter));padding:0 var(--gutter)}.rail::-webkit-scrollbar{display:none}.rail-card{flex:0 0 auto;display:flex;flex-direction:column;justify-content:space-between;gap:14px;min-width:112px;padding:10px 12px 11px;border-radius:var(--radius-s);background:var(--c);color:var(--c-ink);font-family:var(--display);text-decoration:none}.rail-home{background:var(--surface);color:var(--ink);border:1px solid var(--line-soft);font-weight:600}.rail-num{font-size:.72rem;font-feature-settings:"tnum";font-variant-numeric:tabular-nums;line-height:1}.rail-name{font-size:.95rem;line-height:1.15;font-weight:500}.rail-card:hover .rail-name{text-decoration:underline;text-underline-offset:.2em}.rail-card:focus-visible{outline-color:var(--ink)}.rail-card{position:relative}.rail-card:after{content:"";display:var(--dot,none);position:absolute;top:12px;right:12px;width:7px;height:7px;border-radius:50%;background:currentColor}.rail [data-active],body:has(main[data-cat=arrows]) .rail [data-cat=arrows],body:has(main[data-cat=basic-operators]) .rail [data-cat=basic-operators],body:has(main[data-cat=brackets]) .rail [data-cat=brackets],body:has(main[data-cat=calculus]) .rail [data-cat=calculus],body:has(main[data-cat=constants]) .rail [data-cat=constants],body:has(main[data-cat=geometry]) .rail [data-cat=geometry],body:has(main[data-cat=greek-letters]) .rail [data-cat=greek-letters],body:has(main[data-cat=logic]) .rail [data-cat=logic],body:has(main[data-cat=relations]) .rail [data-cat=relations],body:has(main[data-cat=set-theory]) .rail [data-cat=set-theory],body:has(main[data-cat=syntax]) .rail [data-cat=syntax]{--active:1;--dot:block;--rail-order:-1}.column{display:flex;flex-direction:column;gap:var(--gap)}#content,.column{min-width:0}.topbar{display:flex;flex-wrap:wrap;align-items:center;gap:8px 16px}.topnav{display:flex;gap:16px;font-family:var(--display);font-weight:500}.topnav a{text-decoration:none;padding:4px 0}.topnav a:hover{text-decoration:underline}.search{position:relative;flex:1 1 260px}.search input{width:100%;font:500 1rem var(--display);padding:10px 44px 10px 18px;border:1px solid var(--line);border-radius:999px;background:var(--surface);color:var(--ink);-webkit-appearance:none;-moz-appearance:none;appearance:none}.search input::placeholder{color:var(--ink-2)}.search input:focus-visible{outline-offset:2px}.search-hint{position:absolute;right:12px;top:50%;transform:translateY(-50%);min-width:22px;padding:0 6px;border:1px solid var(--line-soft);border-radius:6px;color:var(--ink-2);text-align:center;pointer-events:none}.search input:not(:placeholder-shown)~.search-hint{display:none}.search-results{position:absolute;z-index:15;top:calc(100% + 6px);left:0;right:0;margin:0;padding:6px;list-style:none;background:var(--surface);border:1px solid var(--line);border-radius:var(--radius-s);box-shadow:0 18px 40px -12px rgb(0 0 0/.28)}.search-results a{display:grid;grid-template-columns:2.25rem 1fr auto;align-items:center;grid-gap:10px;gap:10px;padding:7px 10px;border-radius:10px;text-decoration:none}.search-results a:focus-visible,.search-results a:hover{background:var(--select);color:var(--select-ink);outline:none}.search-results .math{font-size:1.4rem;text-align:center}.search-results code{opacity:.75}.search-empty{padding:8px 10px;color:var(--ink-2)}.page{display:flex;flex-direction:column;gap:var(--gap)}.panel{border:1px solid var(--line);border-radius:var(--radius);background:var(--surface);padding:20px}.panel.flood,.pill-link.flood{background:var(--c);color:var(--c-ink);border-color:var(--c)}.section-title{font-size:clamp(2rem,4vw,3.25rem);line-height:1;letter-spacing:-.03em;margin:28px 0 16px}.more{margin:4px 0 0}.pill-link{display:inline-block;padding:10px 20px;border:1px solid var(--line);border-radius:999px;font-family:var(--display);font-weight:500;text-decoration:none;background:var(--surface);transition:background-color .25s var(--ease),color .25s var(--ease)}.pill-link.flood:hover,.pill-link:hover{background:var(--ink);color:var(--ground)}.pill-link.flood:hover{border-color:var(--ink)}.status{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:7px 16px;border-radius:20px;background:var(--c);color:var(--c-ink);font-size:.85rem}.breadcrumb{display:flex;flex-wrap:wrap;margin:0;padding:0;list-style:none}.breadcrumb li+li:before{content:"/";margin:0 8px;opacity:.6}.status-count{flex:none;display:inline-flex;align-items:center;gap:7px;font-family:var(--display);font-weight:600;font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.status-count:before{content:"";width:7px;height:7px;border-radius:50%;background:currentColor}.masthead{display:flex;flex-direction:column;gap:24px}.masthead-title{margin:0;font-size:clamp(1.75rem,4.2vw,3.25rem);line-height:1.05;letter-spacing:-.03em;max-width:20ch}.marquee{display:flex;justify-content:space-between;margin:0;padding:0;list-style:none}.marquee a{display:block;font-size:clamp(3.25rem,15vw,15rem);line-height:1.15;text-decoration:none;transition:color .35s var(--ease),transform .5s var(--ease)}.marquee a:focus-visible,.marquee a:hover{color:var(--c);transform:translateY(-.04em)}.index{display:grid;grid-template-columns:repeat(auto-fill,minmax(150px,1fr));grid-gap:8px;gap:8px;margin:0;padding:0;list-style:none}.index-card{display:grid;grid-template-rows:auto 1fr auto auto;min-height:168px;padding:12px 14px 14px;border-radius:var(--radius-s);background:var(--c);color:var(--c-ink);text-decoration:none;font-family:var(--display);transition:border-radius .4s var(--ease)}.index-card:hover{border-radius:40px}.index-card:hover .index-name{text-decoration:underline}.index-num{font-size:.75rem;font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.index-glyphs{align-self:center;font-size:2rem;line-height:1;white-space:nowrap;overflow:hidden}.index-name{font-size:1.1rem;font-weight:500;line-height:1.15}.index-count{font-size:.8rem}.heading-panel{display:flex;flex-direction:column;min-height:220px}.big-num{font:400 clamp(3rem,8vw,6rem)/.9 var(--display);letter-spacing:-.04em;font-feature-settings:"tnum";font-variant-numeric:tabular-nums;margin-bottom:auto;padding-bottom:32px}.display-title{margin:0;font-size:clamp(2.5rem,7.5vw,6rem);line-height:.95;letter-spacing:-.04em}.heading-panel:not(:has(.big-num)) .display-title{margin-top:auto;padding-top:48px}.lede{margin:16px 0 0;max-width:60ch;font-size:1.05rem}.category{display:flex;flex-direction:column;gap:var(--gap);scroll-margin-top:var(--gutter)}.rail-card{transition:flex-grow .35s var(--ease)}@media (prefers-reduced-motion:no-preference){html{scroll-behavior:smooth}}.chips{display:flex;gap:6px;margin:0 calc(-1 * var(--gutter));padding:3px var(--gutter);border:0;min-width:0;overflow-x:auto;scrollbar-width:none}.chips::-webkit-scrollbar{display:none}.chip{display:inline-flex;align-items:center;gap:7px;white-space:nowrap;padding:6px 12px;border:1px solid var(--line);border-radius:999px;background:var(--surface);font:500 .9rem var(--display);cursor:pointer;transition:background-color .25s var(--ease),color .25s var(--ease)}.chip[data-cat]:before{content:"";width:9px;height:9px;border-radius:50%;background:var(--c);box-shadow:0 0 0 1px var(--line-soft)}.chip:hover{border-color:var(--ink)}.chip[aria-pressed=true]{background:var(--ink);color:var(--ground);border-color:var(--ink)}.chip[data-cat][aria-pressed=true]{background:var(--c);color:var(--c-ink);border-color:var(--c)}.chip[data-cat][aria-pressed=true]:before{background:currentColor}.chip{flex:none;color:var(--ink)}.pager{display:flex;flex-wrap:wrap;gap:6px}.pager button{min-width:44px;height:44px;padding:0 16px;border:1px solid var(--line);border-radius:999px;background:var(--surface);color:var(--ink);font:500 .95rem var(--display);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;cursor:pointer;transition:background-color .2s var(--ease),color .2s var(--ease)}.pager button:hover:not(:disabled),.pager button[aria-current=page]{background:var(--ink);color:var(--ground)}.pager button:disabled{border-color:var(--line-soft);color:var(--ink-2);cursor:default}.grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(104px,1fr));grid-gap:8px;gap:8px;margin:0;padding:0;list-style:none}.tile{position:relative;display:flex;flex-direction:column;align-items:center;justify-content:center;aspect-ratio:1;padding:10px 8px;border:1px solid var(--line-soft);border-radius:var(--radius-s);background:var(--surface);color:var(--ink);text-decoration:none;text-align:center;transition:background-color .3s var(--ease),color .3s var(--ease),border-color .3s var(--ease)}.tile:after{content:"";position:absolute;top:14px;right:40px;width:8px;height:8px;border-radius:50%;background:var(--c);box-shadow:0 0 0 1px var(--line-soft)}.tile:focus-visible,.tile:hover{background:var(--c);color:var(--c-ink);border-color:var(--c)}.tile:focus-visible:after,.tile:hover:after{background:currentColor}.tile-glyph{font-size:2.4rem;line-height:1.15;height:2.8rem;white-space:nowrap;transition:transform .45s var(--ease)}.tile:focus-visible .tile-glyph,.tile:hover .tile-glyph{transform:scale(1.12)}.tile-name{margin-top:8px;font:500 .78rem/1.2 var(--display);display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;overflow:hidden}.tile-latex{position:absolute;top:8px;left:10px;right:54px;font-size:.72rem;text-align:left;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;opacity:0;transform:translateY(4px);transition:opacity .25s var(--ease),transform .35s var(--ease)}.tile:focus-visible .tile-latex,.tile:hover .tile-latex{opacity:1;transform:none}.symbol-hero{display:grid;grid-gap:var(--gap);gap:var(--gap)}.symbol-card{display:grid;grid-template-rows:auto 1fr auto;overflow:hidden}.symbol-num{font:400 clamp(2.5rem,5vw,4rem)/.9 var(--display);letter-spacing:-.04em;font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.symbol-title{margin:0;font-size:clamp(2.25rem,5vw,4.25rem);line-height:.98;letter-spacing:-.035em}.symbol-glyph{display:flex;align-items:center;justify-content:center;font-size:clamp(7rem,30vw,17rem);line-height:1;padding:4px 0;white-space:nowrap}.codes-panel{display:flex;flex-direction:column;padding:20px 20px 8px}.panel-title,.reading h2{margin:0 0 10px;font-size:clamp(1.6rem,2.4vw,2rem);letter-spacing:-.03em}.codes{flex:1 1;width:100%;height:100%;border-collapse:collapse}.codes td,.codes th{padding:14px 0;border-top:1px solid var(--line-soft);text-align:left;vertical-align:middle}.codes th{width:1%;padding-right:16px;font:500 .9rem var(--display);color:var(--ink-2);white-space:nowrap}.codes td:last-child{width:1%;padding-left:12px;text-align:right}.codes code{font-size:1.05rem;word-break:break-all}.codes code.math{font-size:1.6rem}.copy{font:500 .85rem var(--display);min-width:5.25rem;padding:7px 14px;border:1px solid var(--line);border-radius:999px;background:transparent;color:var(--ink);cursor:pointer;transition:background-color .2s var(--ease),color .2s var(--ease)}.copy:hover{background:var(--ink);color:var(--ground)}.copy:active{transform:scale(.97)}.toast{position:fixed;z-index:30;left:50%;bottom:24px;transform:translate(-50%,12px);padding:10px 18px;border-radius:999px;background:var(--select);color:var(--select-ink);font:500 .9rem var(--display);box-shadow:0 14px 30px -10px rgb(0 0 0/.35);opacity:0;pointer-events:none;transition:opacity .2s var(--ease),transform .4s var(--ease)}.toast[data-show]{opacity:1;transform:translate(-50%)}.tile-item{position:relative}.copy-icon{position:absolute;top:4px;right:4px;display:grid;place-items:center;width:30px;height:30px;padding:0;border:1px solid transparent;border-radius:var(--radius-s);background:transparent;color:var(--ink-2);cursor:pointer;opacity:.7;transition:opacity .2s var(--ease),background-color .2s var(--ease),color .2s var(--ease)}.tile-item:focus-within .copy-icon,.tile-item:hover .copy-icon{opacity:1;color:var(--c-ink)}.copy-icon:focus-visible,.copy-icon:hover,.copy-icon[data-copied]{opacity:1;background:var(--ink);color:var(--ground)}.copy-icon:active,.copy-primary:active{transform:scale(.94)}.symbol-foot{display:flex;align-items:flex-end;justify-content:space-between;gap:16px}.copy-primary{display:inline-flex;align-items:center;gap:8px;padding:12px 22px;border:0;border-radius:999px;background:var(--ink);color:var(--ground);font:500 1rem var(--display);cursor:pointer;transition:background-color .2s var(--ease),color .2s var(--ease),transform .2s var(--ease)}.copy-primary:hover,.copy-primary[data-copied]{background:var(--select);color:var(--select-ink)}.reading{display:grid;grid-gap:24px;gap:24px}.reading p{margin:0;max-width:65ch;font-size:1.05rem}.example{display:inline-block;margin:4px 0 10px!important;padding:6px 16px;border-radius:999px;background:var(--c);color:var(--c-ink);font-size:1.5rem!important;line-height:1.3}.prose{border:1px solid var(--line);border-radius:var(--radius);background:var(--surface);padding:20px}.prose>*{max-width:68ch}.prose .about-title{font-size:clamp(2.25rem,6vw,4.5rem);line-height:1;letter-spacing:-.035em;margin:24px 0}.prose h2:not(.about-title){margin-top:40px;font-size:clamp(1.75rem,3vw,2.5rem);line-height:1.05;letter-spacing:-.03em}.prose li{margin-bottom:.5rem}.prose kbd{padding:0 6px;border:1px solid var(--line-soft);border-radius:6px}.site-footer{padding:24px 4px 8px;color:var(--ink-2);font-size:.85rem}.site-footer p{margin:0}@media (min-width:900px){:root{--gutter:20px}body{grid-template-columns:var(--rail-w) minmax(0,1fr);align-items:start}.rail{position:-webkit-sticky;position:sticky;top:var(--gutter);flex-direction:column;height:calc(100vh - 2 * var(--gutter));height:calc(100dvh - 2 * var(--gutter));overflow-y:auto;margin:0;padding:0}.rail-card{flex:1 0 auto;min-height:48px;min-width:0;flex-grow:calc(1 + var(--active, 0) * 5)}.rail-home{flex-grow:1}.panel,.prose{padding:28px 32px}.grid{grid-template-columns:repeat(auto-fill,minmax(124px,1fr))}.symbol-hero{grid-template-columns:minmax(0,1.15fr) minmax(0,1fr)}.symbol-card{min-height:460px}.reading{grid-template-columns:1fr 1fr;gap:40px}.heading-panel{min-height:300px}.chips{gap:4px}.chip{padding:6px 10px;font-size:.85rem}}@media (max-width:899px){.rail [data-active],body:has(main[data-cat=arrows]) .rail [data-cat=arrows],body:has(main[data-cat=basic-operators]) .rail [data-cat=basic-operators],body:has(main[data-cat=brackets]) .rail [data-cat=brackets],body:has(main[data-cat=calculus]) .rail [data-cat=calculus],body:has(main[data-cat=constants]) .rail [data-cat=constants],body:has(main[data-cat=geometry]) .rail [data-cat=geometry],body:has(main[data-cat=greek-letters]) .rail [data-cat=greek-letters],body:has(main[data-cat=logic]) .rail [data-cat=logic],body:has(main[data-cat=relations]) .rail [data-cat=relations],body:has(main[data-cat=set-theory]) .rail [data-cat=set-theory],body:has(main[data-cat=syntax]) .rail [data-cat=syntax]{min-width:168px}}@media (max-width:899px){.search{flex-basis:160px}.rail-home{order:-2}.rail-card[data-cat]{order:var(--rail-order,0)}.symbol-card{grid-template-columns:minmax(0,1fr) auto;grid-template-rows:1fr auto;gap:10px 12px;padding:18px 20px 16px}.symbol-title{grid-column:1;grid-row:1;font-size:2rem}.symbol-num{grid-column:1;grid-row:2;font-size:1.75rem}.symbol-glyph{grid-column:2;grid-row:1/span 2;font-size:5.5rem;padding:0}.codes-panel{padding-top:16px}.panel-title,.reading h2{font-size:1.5rem}.codes td,.codes th{padding-top:8px;padding-bottom:8px}.breadcrumb{flex-wrap:nowrap;min-width:0;overflow:hidden;white-space:nowrap}.breadcrumb li:not(:nth-last-child(-n+2)){position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0)}.breadcrumb li:nth-last-child(2):before{content:"… /"}.breadcrumb li:last-child{overflow:hidden;text-overflow:ellipsis}}@media (prefers-reduced-motion:reduce){*,:after,:before{transition:none!important}}