mjx-container[overflow="scroll"][display] {
  overflow: auto clip;
  min-width: initial !important;
}

mjx-container[overflow="truncate"][display] {
  overflow: hidden clip;
  min-width: initial !important;
}

mjx-container[display] {
  display: block;
  text-align: center;
  justify-content: center;
  margin: .7em 0;
  padding: .3em 2px;
}

mjx-container[display][width="full"] {
  display: flex;
}

mjx-container[justify="left"] {
  text-align: left;
  justify-content: left;
}

mjx-container[justify="right"] {
  text-align: right;
  justify-content: right;
}

mjx-container[jax="CHTML"] {
  white-space: nowrap;
}

mjx-mo > mjx-c, mjx-mi > mjx-c, mjx-mn > mjx-c, mjx-ms > mjx-c, mjx-mtext > mjx-c {
  clip-path: padding-box polygon(-1em -2px, calc(100% + 1em) -2px, calc(100% + 1em) calc(100% + 2px), -1em calc(100% + 2px));
}

mjx-stretchy-h {
  clip-path: padding-box polygon(0 -2px, 100% -2px, 100% calc(100% + 2px), 0 calc(100% + 2px));
  display: inline-block;
}

mjx-stretchy-v {
  clip-path: padding-box polygon(-2px 0, calc(100% + 2px) 0, calc(100% + 2px) 100%, -2px 100%);
  display: inline-block;
  text-align: center;
}

mjx-container [space="1"] {
  margin-left: .111em;
}

mjx-container [space="2"] {
  margin-left: .167em;
}

mjx-container [space="3"] {
  margin-left: .222em;
}

mjx-container [space="4"] {
  margin-left: .278em;
}

mjx-container [space="5"] {
  margin-left: .333em;
}

mjx-container [rspace="1"] {
  margin-right: .111em;
}

mjx-container [rspace="2"] {
  margin-right: .167em;
}

mjx-container [rspace="3"] {
  margin-right: .222em;
}

mjx-container [rspace="4"] {
  margin-right: .278em;
}

mjx-container [rspace="5"] {
  margin-right: .333em;
}

mjx-container [size="s"] {
  font-size: 70.7%;
}

mjx-container [size="ss"] {
  font-size: 50%;
}

mjx-container [size="Tn"] {
  font-size: 60%;
}

mjx-container [size="sm"] {
  font-size: 85%;
}

mjx-container [size="lg"] {
  font-size: 120%;
}

mjx-container [size="Lg"] {
  font-size: 144%;
}

mjx-container [size="LG"] {
  font-size: 173%;
}

mjx-container [size="hg"] {
  font-size: 207%;
}

mjx-container [size="HG"] {
  font-size: 249%;
}

mjx-container [width="full"] {
  width: 100%;
}

mjx-box {
  display: inline-block;
}

mjx-block {
  display: block;
}

mjx-itable {
  display: inline-table;
}

mjx-row {
  display: table-row;
}

mjx-row > mjx-cell, mjx-row > mjx-base, mjx-row > mjx-under, mjx-row > mjx-over, mjx-row > mjx-den {
  display: table-cell;
}

mjx-container [inline-breaks] {
  display: inline;
}

mjx-container .mjx-selected {
  outline: 2px solid black;
}

@media (prefers-color-scheme: dark) {
  mjx-container .mjx-selected {
    outline: 2px solid #C8C8C8;
  }
}

mjx-mtext {
  display: inline-block;
  text-align: left;
}

mjx-mstyle {
  display: inline-block;
}

mjx-merror {
  display: inline-block;
  color: red;
  background-color: yellow;
}

mjx-mphantom {
  visibility: hidden;
}

mjx-math {
  display: inline-block;
  text-align: left;
  line-height: 0;
  text-indent: 0;
  font-style: normal;
  font-weight: normal;
  font-size: 100%;
  font-size-adjust: none;
  letter-spacing: normal;
  word-wrap: normal;
  word-spacing: normal;
  direction: ltr;
  padding: 1px 0;
}

mjx-container[jax="CHTML"][display="true"] mjx-math {
  padding: 0;
}

mjx-math[breakable] {
  display: inline;
}

mjx-container[jax="CHTML"] mjx-break {
  white-space: normal;
  line-height: 0;
  clip-path: rect(0 0 0 0);
  font-family: MJX-BRK !important;
}

mjx-break[size="0"] {
  letter-spacing: -0.999em;
}

mjx-break[size="1"] {
  letter-spacing: -0.889em;
}

mjx-break[size="2"] {
  letter-spacing: -0.833em;
}

mjx-break[size="3"] {
  letter-spacing: -0.778em;
}

mjx-break[size="4"] {
  letter-spacing: -0.722em;
}

mjx-break[size="5"] {
  letter-spacing: -0.667em;
}

mjx-mi {
  display: inline-block;
  text-align: left;
}

mjx-c {
  display: inline-block;
  width: 0;
  text-align: right;
}

mjx-utext {
  display: inline-block;
  padding: .75em 0 .2em 0;
}

mjx-mrow {
  display: inline-block;
  text-align: left;
}

mjx-linestack, mjx-mrow[break-top] {
  display: inline-table;
  width: 100%;
}

mjx-linestack[break-align="bottom"], mjx-mrow[break-top][break-align="bottom"] {
  display: inline-block;
}

mjx-linestack[break-align="middle"], mjx-mrow[break-top][break-align="middle"] {
  vertical-align: middle;
}

mjx-linestack[break-align="center"], mjx-mrow[break-top][break-align="center"] {
  vertical-align: middle;
}

mjx-linestack[breakable] {
  display: inline;
}

mjx-linestack[breakable] > mjx-linebox {
  display: inline;
}

mjx-linestack[breakable] > mjx-linebox::before {
  white-space: pre;
  content: "\A";
}

mjx-linestack[breakable] > mjx-linebox::after {
  white-space: normal;
  content: " ";
  letter-spacing: -.999em;
  font-family: MJX-BRK;
}

mjx-linestack[breakable] > mjx-linebox:first-of-type::before {
  display: none;
}

mjx-linestack[breakable] > mjx-linebox:last-of-type::after {
  display: none;
}

mjx-linebox {
  display: block;
}

mjx-linebox[align="left"] {
  text-align: left;
}

mjx-linebox[align="center"] {
  text-align: center;
}

mjx-linebox[align="right"] {
  text-align: right;
}

mjx-linestrut {
  display: inline-block;
  height: 1em;
  vertical-align: -.25em;
}

mjx-mo {
  display: inline-block;
  text-align: left;
}

mjx-stretchy-h > mjx-beg, mjx-stretchy-h > mjx-ext, mjx-stretchy-h > mjx-end, mjx-stretchy-h > mjx-mid {
  display: inline-block;
  width: 0;
  text-align: right;
}

mjx-stretchy-h > mjx-ext {
  clip-path: padding-box polygon(0 -1em, 100% -1em, 100% calc(100% + 1em), 0 calc(100% + 1em));
  width: 100%;
  border: 0px solid transparent;
  box-sizing: border-box;
  text-align: left;
}

mjx-stretchy-v > mjx-beg, mjx-stretchy-v > mjx-ext, mjx-stretchy-v > mjx-end, mjx-stretchy-v > mjx-mid {
  display: block;
  height: 0;
  margin: 0 auto;
}

mjx-stretchy-v > mjx-ext > mjx-spacer {
  display: block;
}

mjx-stretchy-v > mjx-ext {
  clip-path: padding-box polygon(-1em 0, calc(100% + 1em) 0, calc(100% + 1em) 100%, -1em 100%);
  height: 100%;
  border: 0.1px solid transparent;
  box-sizing: border-box;
  white-space: pre;
}

mjx-mark {
  display: inline-block;
  height: 0;
}

mjx-mtable {
  display: inline-block;
  text-align: center;
  vertical-align: .25em;
  position: relative;
  box-sizing: border-box;
  border-spacing: 0;
  border-collapse: collapse;
}

mjx-mstyle[size="s"] mjx-mtable {
  vertical-align: .354em;
}

mjx-labels {
  position: absolute;
  left: 0;
  top: 0;
}

mjx-table {
  display: inline-block;
  vertical-align: -.5ex;
  box-sizing: border-box;
}

mjx-table > mjx-itable {
  vertical-align: middle;
  text-align: left;
  box-sizing: border-box;
}

mjx-labels > mjx-itable {
  position: absolute;
  top: 0;
}

mjx-mtable[justify="left"] {
  text-align: left;
}

mjx-mtable[justify="right"] {
  text-align: right;
}

mjx-mtable[justify="left"][side="left"] {
  padding-right: 0 ! important;
}

mjx-mtable[justify="left"][side="right"] {
  padding-left: 0 ! important;
}

mjx-mtable[justify="right"][side="left"] {
  padding-right: 0 ! important;
}

mjx-mtable[justify="right"][side="right"] {
  padding-left: 0 ! important;
}

mjx-mtable[align] {
  vertical-align: baseline;
}

mjx-mtable[align="top"] > mjx-table {
  vertical-align: top;
}

mjx-mtable[align="bottom"] > mjx-table {
  vertical-align: bottom;
}

mjx-mtable[side="right"] mjx-labels {
  min-width: 100%;
}

mjx-mtr {
  display: table-row;
  text-align: left;
}

mjx-mtr[rowalign="top"] > mjx-mtd {
  vertical-align: top;
}

mjx-mtr[rowalign="center"] > mjx-mtd {
  vertical-align: middle;
}

mjx-mtr[rowalign="bottom"] > mjx-mtd {
  vertical-align: bottom;
}

mjx-mtr[rowalign="baseline"] > mjx-mtd {
  vertical-align: baseline;
}

mjx-mtr[rowalign="axis"] > mjx-mtd {
  vertical-align: .25em;
}

mjx-mtd {
  display: table-cell;
  text-align: center;
  padding: .215em .4em;
}

mjx-mtd:first-child {
  padding-left: 0;
}

mjx-mtd:last-child {
  padding-right: 0;
}

mjx-mtable > * > mjx-itable > *:first-child > mjx-mtd {
  padding-top: 0;
}

mjx-mtable > * > mjx-itable > *:last-child > mjx-mtd {
  padding-bottom: 0;
}

mjx-tstrut {
  display: inline-block;
  height: 1em;
  vertical-align: -.25em;
}

mjx-labels[align="left"] > mjx-mtr > mjx-mtd {
  text-align: left;
}

mjx-labels[align="right"] > mjx-mtr > mjx-mtd {
  text-align: right;
}

mjx-mtd[extra] {
  padding: 0;
}

mjx-mtd[rowalign="top"] {
  vertical-align: top;
}

mjx-mtd[rowalign="center"] {
  vertical-align: middle;
}

mjx-mtd[rowalign="bottom"] {
  vertical-align: bottom;
}

mjx-mtd[rowalign="baseline"] {
  vertical-align: baseline;
}

mjx-mtd[rowalign="axis"] {
  vertical-align: .25em;
}

mjx-mn {
  display: inline-block;
  text-align: left;
}

mjx-mfrac {
  display: inline-block;
  text-align: left;
}

mjx-frac {
  display: inline-block;
  vertical-align: 0.17em;
  padding: 0 .22em;
}

mjx-frac[type="d"] {
  vertical-align: .04em;
}

mjx-frac[delims] {
  padding: 0 .1em;
}

mjx-frac[atop] {
  padding: 0 .12em;
}

mjx-frac[atop][delims] {
  padding: 0;
}

mjx-dtable {
  display: inline-table;
  width: 100%;
}

mjx-dtable > mjx-line, mjx-dtable > mjx-row {
  font-size: 2000%;
}

mjx-dbox {
  display: block;
  font-size: 5%;
}

mjx-num {
  display: block;
  text-align: center;
}

mjx-den {
  display: block;
  text-align: center;
}

mjx-mfrac[bevelled] > mjx-num {
  display: inline-block;
}

mjx-mfrac[bevelled] > mjx-den {
  display: inline-block;
}

mjx-den[align="right"], mjx-num[align="right"] {
  text-align: right;
}

mjx-den[align="left"], mjx-num[align="left"] {
  text-align: left;
}

mjx-nstrut {
  display: inline-block;
  height: .054em;
  width: 0;
  vertical-align: -.054em;
}

mjx-nstrut[type="d"] {
  height: .217em;
  vertical-align: -.217em;
}

mjx-dstrut {
  display: inline-block;
  height: .505em;
  width: 0;
}

mjx-dstrut[type="d"] {
  height: .726em;
}

mjx-line {
  display: block;
  box-sizing: border-box;
  min-height: 1px;
  height: .06em;
  border-top: .075em solid;
  margin: .06em -.1em;
  overflow: hidden;
}

mjx-line[type="d"] {
  margin: .18em -.1em;
}

mjx-inferredMrow {
  display: inline-block;
  text-align: left;
}

mjx-msqrt {
  display: inline-block;
  text-align: left;
}

mjx-root {
  display: inline-block;
  white-space: nowrap;
}

mjx-surd {
  display: inline-block;
  vertical-align: top;
}

mjx-sqrt {
  display: inline-block;
  padding-top: .075em;
}

mjx-sqrt > mjx-box {
  border-top: .075em solid;
  padding-left: .03em;
  margin-left: -.03em;
}

mjx-sqrt.mjx-tall > mjx-box {
  padding-left: .3em;
  margin-left: -.3em;
}

mjx-msup {
  display: inline-block;
  text-align: left;
}

mjx-msubsup {
  display: inline-block;
  text-align: left;
}

mjx-script {
  display: inline-block;
  padding-right: .05em;
  padding-left: .033em;
}

mjx-script > mjx-spacer {
  display: block;
}

mjx-mspace {
  display: inline-block;
  text-align: left;
}

mjx-msub {
  display: inline-block;
  text-align: left;
}

mjx-mover {
  display: inline-block;
  text-align: left;
}

mjx-mover:not([limits="false"]) {
  padding-top: .1em;
}

mjx-mover:not([limits="false"]) > mjx-base, mjx-mover:not([limits="false"]) > mjx-over {
  display: block;
  text-align: left;
}

mjx-munderover {
  display: inline-block;
  text-align: left;
}

mjx-munderover:not([limits="false"]) {
  padding-top: .1em;
}

mjx-munderover:not([limits="false"]) > mjx-over, mjx-munderover:not([limits="false"]) > mjx-box {
  display: block;
}

mjx-munder {
  display: inline-block;
  text-align: left;
}

mjx-over {
  text-align: left;
}

mjx-munder:not([limits="false"]) {
  display: inline-table;
}

mjx-munder > mjx-row {
  text-align: left;
}

mjx-under {
  padding-bottom: .1em;
}

mjx-container[jax="CHTML"] > mjx-math.STX-N[breakable] > * {
  font-family: MJX-STX-ZERO, MJX-STX-N;
}

.STX-N {
  font-family: MJX-STX-ZERO, MJX-STX-N;
}

.STX-B {
  font-family: MJX-STX-ZERO, MJX-STX-B;
}

.STX-I {
  font-family: MJX-STX-ZERO, MJX-STX-I;
}

.STX-BI {
  font-family: MJX-STX-ZERO, MJX-STX-BI;
}

.STX-MI {
  font-family: MJX-STX-ZERO, MJX-STX-MI;
}

.STX-DS {
  font-family: MJX-STX-ZERO, MJX-STX-DS;
}

.STX-F {
  font-family: MJX-STX-ZERO, MJX-STX-F;
}

.STX-FB {
  font-family: MJX-STX-ZERO, MJX-STX-FB;
}

.STX-S {
  font-family: MJX-STX-ZERO, MJX-STX-S;
}

.STX-SB {
  font-family: MJX-STX-ZERO, MJX-STX-SB;
}

.STX-M {
  font-family: MJX-STX-ZERO, MJX-STX-M;
}

.STX-SSB {
  font-family: MJX-STX-ZERO, MJX-STX-SSB;
}

.STX-SSBI {
  font-family: MJX-STX-ZERO, MJX-STX-SSBI;
}

.STX-SS {
  font-family: MJX-STX-ZERO, MJX-STX-SS;
}

.STX-SSI {
  font-family: MJX-STX-ZERO, MJX-STX-SSI;
}

.STX-DSI {
  font-family: MJX-STX-ZERO, MJX-STX-DSI;
}

.STX-C {
  font-family: MJX-STX-ZERO, MJX-STX-C;
}

.STX-CB {
  font-family: MJX-STX-ZERO, MJX-STX-CB;
}

.STX-OS {
  font-family: MJX-STX-ZERO, MJX-STX-OS;
}

.STX-OB {
  font-family: MJX-STX-ZERO, MJX-STX-OB;
}

.STX-SO {
  font-family: MJX-STX-ZERO, MJX-STX-SO;
}

.STX-LO {
  font-family: MJX-STX-ZERO, MJX-STX-LO;
}

.STX-S3 {
  font-family: MJX-STX-ZERO, MJX-STX-S3;
}

.STX-S4 {
  font-family: MJX-STX-ZERO, MJX-STX-S4;
}

.STX-S5 {
  font-family: MJX-STX-ZERO, MJX-STX-S5;
}

.STX-S6 {
  font-family: MJX-STX-ZERO, MJX-STX-S6;
}

.STX-S7 {
  font-family: MJX-STX-ZERO, MJX-STX-S7;
}

.STX-S8 {
  font-family: MJX-STX-ZERO, MJX-STX-S8;
}

.STX-S9 {
  font-family: MJX-STX-ZERO, MJX-STX-S9;
}

.STX-S10 {
  font-family: MJX-STX-ZERO, MJX-STX-S10;
}

.STX-S11 {
  font-family: MJX-STX-ZERO, MJX-STX-S11;
}

.STX-S12 {
  font-family: MJX-STX-ZERO, MJX-STX-S12;
}

.STX-V {
  font-family: MJX-STX-ZERO, MJX-STX-V;
}

.STX-E {
  font-family: MJX-STX-ZERO, MJX-STX-E;
}

.STX-U {
  font-family: MJX-STX-ZERO, MJX-STX-U;
}

.STX-UD {
  font-family: MJX-STX-ZERO, MJX-STX-UD;
}

@font-face /* MJX-STX-ZERO */ {
  font-family: MJX-STX-ZERO;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-zero.woff2") format("woff2");
}

@font-face /* MJX-BRK */ {
  font-family: MJX-BRK;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-brk.woff2") format("woff2");
}

@font-face /* MJX-STX-N */ {
  font-family: MJX-STX-N;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-n.woff2") format("woff2");
}

@font-face /* MJX-STX-B */ {
  font-family: MJX-STX-B;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-b.woff2") format("woff2");
}

@font-face /* MJX-STX-I */ {
  font-family: MJX-STX-I;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-i.woff2") format("woff2");
}

@font-face /* MJX-STX-BI */ {
  font-family: MJX-STX-BI;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-bi.woff2") format("woff2");
}

@font-face /* MJX-STX-MI */ {
  font-family: MJX-STX-MI;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-mi.woff2") format("woff2");
}

@font-face /* MJX-STX-DS */ {
  font-family: MJX-STX-DS;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-ds.woff2") format("woff2");
}

@font-face /* MJX-STX-F */ {
  font-family: MJX-STX-F;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-f.woff2") format("woff2");
}

@font-face /* MJX-STX-FB */ {
  font-family: MJX-STX-FB;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-fb.woff2") format("woff2");
}

@font-face /* MJX-STX-S */ {
  font-family: MJX-STX-S;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-s.woff2") format("woff2");
}

@font-face /* MJX-STX-SB */ {
  font-family: MJX-STX-SB;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-sb.woff2") format("woff2");
}

@font-face /* MJX-STX-M */ {
  font-family: MJX-STX-M;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-m.woff2") format("woff2");
}

@font-face /* MJX-STX-SSB */ {
  font-family: MJX-STX-SSB;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-ssb.woff2") format("woff2");
}

@font-face /* MJX-STX-SSBI */ {
  font-family: MJX-STX-SSBI;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-ssbi.woff2") format("woff2");
}

@font-face /* MJX-STX-SS */ {
  font-family: MJX-STX-SS;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-ss.woff2") format("woff2");
}

@font-face /* MJX-STX-SSI */ {
  font-family: MJX-STX-SSI;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-ssi.woff2") format("woff2");
}

@font-face /* MJX-STX-DSI */ {
  font-family: MJX-STX-DSI;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-dsi.woff2") format("woff2");
}

@font-face /* MJX-STX-C */ {
  font-family: MJX-STX-C;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-c.woff2") format("woff2");
}

@font-face /* MJX-STX-CB */ {
  font-family: MJX-STX-CB;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-cb.woff2") format("woff2");
}

@font-face /* MJX-STX-OS */ {
  font-family: MJX-STX-OS;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-os.woff2") format("woff2");
}

@font-face /* MJX-STX-OB */ {
  font-family: MJX-STX-OB;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-ob.woff2") format("woff2");
}

@font-face /* MJX-STX-SO */ {
  font-family: MJX-STX-SO;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-so.woff2") format("woff2");
}

@font-face /* MJX-STX-LO */ {
  font-family: MJX-STX-LO;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-lo.woff2") format("woff2");
}

@font-face /* MJX-STX-S3 */ {
  font-family: MJX-STX-S3;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-s3.woff2") format("woff2");
}

@font-face /* MJX-STX-S4 */ {
  font-family: MJX-STX-S4;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-s4.woff2") format("woff2");
}

@font-face /* MJX-STX-S5 */ {
  font-family: MJX-STX-S5;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-s5.woff2") format("woff2");
}

@font-face /* MJX-STX-S6 */ {
  font-family: MJX-STX-S6;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-s6.woff2") format("woff2");
}

@font-face /* MJX-STX-S7 */ {
  font-family: MJX-STX-S7;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-s7.woff2") format("woff2");
}

@font-face /* MJX-STX-S8 */ {
  font-family: MJX-STX-S8;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-s8.woff2") format("woff2");
}

@font-face /* MJX-STX-S9 */ {
  font-family: MJX-STX-S9;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-s9.woff2") format("woff2");
}

@font-face /* MJX-STX-S10 */ {
  font-family: MJX-STX-S10;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-s10.woff2") format("woff2");
}

@font-face /* MJX-STX-S11 */ {
  font-family: MJX-STX-S11;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-s11.woff2") format("woff2");
}

@font-face /* MJX-STX-S12 */ {
  font-family: MJX-STX-S12;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-s12.woff2") format("woff2");
}

@font-face /* MJX-STX-V */ {
  font-family: MJX-STX-V;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-v.woff2") format("woff2");
}

@font-face /* MJX-STX-E */ {
  font-family: MJX-STX-E;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-e.woff2") format("woff2");
}

@font-face /* MJX-STX-U */ {
  font-family: MJX-STX-U;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-u.woff2") format("woff2");
}

@font-face /* MJX-STX-UD */ {
  font-family: MJX-STX-UD;
  src: url("/mathjax/mathjax-stix2-font/chtml/woff2/mjx-stx-ud.woff2") format("woff2");
}

mjx-stretchy-v.mjx-c7B > mjx-beg {
  width: 0.6em;
  margin: 1.274em auto -1.274em;
}

mjx-stretchy-v.mjx-c7B > mjx-ext > mjx-spacer {
  margin-top: 0.465em;
}

mjx-stretchy-v.mjx-c7B > mjx-ext {
  width: 0.6em;
  line-height: 0.93em;
}

mjx-stretchy-v.mjx-c7B > mjx-end {
  width: 0.6em;
  margin: 0 auto 0;
}

mjx-stretchy-v.mjx-c7B > mjx-mid {
  width: 0.6em;
  margin: 0.973em auto -0.973em;
}

mjx-stretchy-v.mjx-c7B > mjx-ext:first-of-type {
  height: 50%;
  border-width: 1.244em 0 0.943em;
}

mjx-stretchy-v.mjx-c7B > mjx-ext:last-of-type {
  height: 50%;
  border-width: 0.943em 0 1.244em;
}

mjx-c.mjx-c1D461 {
  padding: 0.593em 0.338em 0.009em 0;
}

mjx-c.mjx-c1D463 {
  padding: 0.479em 0.504em 0.009em 0;
}

mjx-c.mjx-c1D450 {
  padding: 0.479em 0.414em 0.012em 0;
}

mjx-c.mjx-c1D441 {
  padding: 0.657em 0.783em 0.008em 0;
}

mjx-c.mjx-c1D439 {
  padding: 0.657em 0.634em 0 0;
}

mjx-c.mjx-c28 {
  padding: 0.736em 0.357em 0.196em 0;
}

mjx-c.mjx-c1D44E {
  padding: 0.479em 0.555em 0.012em 0;
}

mjx-c.mjx-c29 {
  padding: 0.736em 0.357em 0.196em 0;
}

mjx-c.mjx-c3D {
  padding: 0.395em 0.72em 0 0;
}

mjx-c.mjx-c30 {
  padding: 0.642em 0.495em 0.011em 0;
}

mjx-c.mjx-c2264 {
  padding: 0.623em 0.72em 0.106em 0;
}

mjx-c.mjx-c3A6 {
  padding: 0.657em 0.718em 0 0;
}

mjx-c.mjx-c28.STX-LO {
  padding: 0.983em 0.404em 0.443em 0;
}

mjx-c.mjx-c6C {
  padding: 0.706em 0.283em 0 0;
}

mjx-c.mjx-c6E {
  padding: 0.485em 0.576em 0 0;
}

mjx-c.mjx-c2212 {
  padding: 0.558em 0.72em 0.04em 0;
}

mjx-c.mjx-c1D45A {
  padding: 0.479em 0.83em 0.01em 0;
}

mjx-c.mjx-c1D70E {
  padding: 0.473em 0.57em 0.014em 0;
}

mjx-c.mjx-c29.STX-LO {
  padding: 0.983em 0.404em 0.443em 0;
}

mjx-c.mjx-c3E {
  padding: 0.547em 0.72em 0.025em 0;
}

mjx-c.mjx-c2E.STX-I {
  padding: 0.11em 0.242em 0.008em 0;
}

mjx-c.mjx-c1D453 {
  padding: 0.711em 0.577em 0.225em 0;
}

mjx-c.mjx-c31 {
  padding: 0.639em 0.495em 0 0;
}

mjx-c.mjx-c221A {
  padding: 0.922em 0.829em 0.265em 0;
}

mjx-c.mjx-c32 {
  padding: 0.644em 0.495em 0 0;
}

mjx-c.mjx-c1D70B {
  padding: 0.473em 0.634em 0.009em 0;
}

mjx-c.mjx-c65 {
  padding: 0.485em 0.464em 0.01em 0;
}

mjx-c.mjx-c78 {
  padding: 0.473em 0.482em 0 0;
}

mjx-c.mjx-c70 {
  padding: 0.485em 0.537em 0.22em 0;
}

mjx-c.mjx-c28.STX-S7 {
  padding: 1.582em 0.519em 1.042em 0;
}

mjx-c.mjx-c29.STX-S7 {
  padding: 1.582em 0.519em 1.042em 0;
}

mjx-c.mjx-c2C {
  padding: 0.121em 0.245em 0.132em 0;
}

mjx-c.mjx-c6D {
  padding: 0.485em 0.852em 0 0;
}

mjx-c.mjx-c61 {
  padding: 0.485em 0.48em 0.007em 0;
}

mjx-c.mjx-c2B {
  padding: 0.558em 0.72em 0.04em 0;
}

mjx-c.mjx-c1D707 {
  padding: 0.473em 0.588em 0.217em 0;
}

mjx-c.mjx-c1D462 {
  padding: 0.477em 0.565em 0.01em 0;
}

mjx-c.mjx-c28.STX-S9 {
  padding: 1.82em 0.564em 1.28em 0;
}

mjx-c.mjx-c221A.STX-S3 {
  padding: 2.626em 1.205em 0.265em 0;
}

mjx-c.mjx-c28.STX-S5 {
  padding: 1.342em 0.473em 0.802em 0;
}

mjx-c.mjx-c29.STX-S5 {
  padding: 1.342em 0.473em 0.802em 0;
}

mjx-c.mjx-c29.STX-S9 {
  padding: 1.82em 0.564em 1.28em 0;
}

mjx-c.mjx-c1D452 {
  padding: 0.479em 0.424em 0.012em 0;
}

mjx-c.mjx-c1D464 {
  padding: 0.479em 0.727em 0.009em 0;
}

mjx-c.mjx-c3C {
  padding: 0.547em 0.72em 0.025em 0;
}

mjx-c.mjx-c2227 {
  padding: 0.549em 0.636em 0.03em 0;
}

mjx-c.mjx-c2265 {
  padding: 0.623em 0.72em 0.106em 0;
}

mjx-c.mjx-c1D702 {
  padding: 0.481em 0.509em 0.217em 0;
}

mjx-c.mjx-c1D45B {
  padding: 0.479em 0.565em 0.01em 0;
}

mjx-c.mjx-c1D446 {
  padding: 0.667em 0.539em 0.015em 0;
}

mjx-c.mjx-c1D43D {
  padding: 0.657em 0.461em 0.012em 0;
}

mjx-c.mjx-c1D6FC {
  padding: 0.479em 0.585em 0.014em 0;
}

mjx-c.mjx-c1D451 {
  padding: 0.705em 0.556em 0.012em 0;
}

mjx-c.mjx-c1D6FD {
  padding: 0.717em 0.55em 0.216em 0;
}

mjx-c.mjx-c1D6FE {
  padding: 0.475em 0.5em 0.214em 0;
}

mjx-c.mjx-c28.STX-S6 {
  padding: 1.462em 0.496em 0.922em 0;
}

mjx-c.mjx-c29.STX-S6 {
  padding: 1.462em 0.496em 0.922em 0;
}

mjx-c.mjx-c1D45F {
  padding: 0.479em 0.412em 0 0;
}

mjx-c.mjx-c1D435 {
  padding: 0.657em 0.593em 0 0;
}

mjx-c.mjx-c1D449 {
  padding: 0.657em 0.739em 0.005em 0;
}

mjx-c.mjx-c72 {
  padding: 0.488em 0.38em 0 0;
}

mjx-c.mjx-c1D43B {
  padding: 0.657em 0.805em 0 0;
}

mjx-c.mjx-c1D436 {
  padding: 0.67em 0.674em 0.011em 0;
}

mjx-c.mjx-c28.STX-SO {
  padding: 0.863em 0.381em 0.323em 0;
}

mjx-c.mjx-c29.STX-SO {
  padding: 0.863em 0.381em 0.323em 0;
}

mjx-c.mjx-c2032.STX-V {
  padding: 0.578em 0.348em 0 0;
}

mjx-c.mjx-c2217 {
  padding: 0.482em 0.536em 0 0;
}

mjx-c.mjx-c5C {
  padding: 0.709em 0.385em 0.089em 0;
}

mjx-c.mjx-c63 {
  padding: 0.485em 0.446em 0.01em 0;
}

mjx-c.mjx-c6F {
  padding: 0.485em 0.514em 0.01em 0;
}

mjx-c.mjx-c73 {
  padding: 0.485em 0.395em 0.011em 0;
}

mjx-c.mjx-c3A9 {
  padding: 0.669em 0.777em 0 0;
}

mjx-c.mjx-c64 {
  padding: 0.706em 0.539em 0.008em 0;
}

mjx-c.mjx-c1D466 {
  padding: 0.482em 0.51em 0.22em 0;
}

mjx-c.mjx-c1D458 {
  padding: 0.705em 0.533em 0.01em 0;
}

mjx-c.mjx-c1D454 {
  padding: 0.479em 0.503em 0.225em 0;
}

mjx-c.mjx-c1D714 {
  padding: 0.477em 0.66em 0.011em 0;
}

mjx-c.mjx-c221A.STX-SO {
  padding: 1.589em 1.076em 0.265em 0;
}

mjx-c.mjx-c28.STX-S4 {
  padding: 1.223em 0.45em 0.683em 0;
}

mjx-c.mjx-c29.STX-S4 {
  padding: 1.223em 0.45em 0.683em 0;
}

mjx-c.mjx-c7C {
  padding: 0.706em 0.267em 0.22em 0;
}

mjx-c.mjx-c226B {
  padding: 0.545em 0.955em 0.027em 0;
}

mjx-c.mjx-c2248 {
  padding: 0.486em 0.72em 0 0;
}

mjx-c.mjx-c69 {
  padding: 0.673em 0.285em 0 0;
}

mjx-c.mjx-c226A {
  padding: 0.545em 0.955em 0.027em 0;
}

mjx-c.mjx-c2192 {
  padding: 0.459em 0.948em 0 0;
}

mjx-c.mjx-c1D465 {
  padding: 0.479em 0.559em 0.01em 0;
}

mjx-c.mjx-c1D706 {
  padding: 0.705em 0.525em 0.012em 0;
}

mjx-c.mjx-c22C5 {
  padding: 0.32em 0.293em 0 0;
}

mjx-c.mjx-c1D459 {
  padding: 0.705em 0.278em 0.009em 0;
}

mjx-c.mjx-c1D703 {
  padding: 0.717em 0.514em 0.014em 0;
}

mjx-c.mjx-c74 {
  padding: 0.61em 0.315em 0.01em 0;
}

mjx-c.mjx-c1D711 {
  padding: 0.49em 0.607em 0.217em 0;
}

mjx-c.mjx-c68 {
  padding: 0.706em 0.577em 0 0;
}

mjx-c.mjx-c1D443 {
  padding: 0.657em 0.581em 0 0;
}

mjx-c.mjx-c1D444 {
  padding: 0.669em 0.707em 0.173em 0;
}

mjx-c.mjx-c1D445 {
  padding: 0.657em 0.62em 0 0;
}

mjx-c.mjx-c1D467 {
  padding: 0.467em 0.493em 0 0;
}

mjx-c.mjx-c1D715 {
  padding: 0.711em 0.495em 0.014em 0;
}

mjx-c.mjx-c28.STX-S11 {
  padding: 2.06em 0.61em 1.52em 0;
}

mjx-c.mjx-c29.STX-S11 {
  padding: 2.06em 0.61em 1.52em 0;
}

mjx-c.mjx-c28.STX-S12 {
  padding: 2.18em 0.633em 1.64em 0;
}

mjx-c.mjx-c29.STX-S12 {
  padding: 2.18em 0.633em 1.64em 0;
}

mjx-c.mjx-c20D7:not([class*="STX-"]) {
  padding: 0.843em 0 0 0;
  width: 0.442em;
  margin-left: -0.442em;
}

mjx-c.mjx-c1D468 {
  padding: 0.662em 0.709em 0 0;
}

mjx-c.mjx-c54 {
  padding: 0.657em 0.603em 0 0;
}

mjx-c.mjx-c1D434 {
  padding: 0.661em 0.681em 0 0;
}

mjx-c.mjx-c2208 {
  padding: 0.543em 0.72em 0.026em 0;
}

mjx-c.mjx-c1D47A {
  padding: 0.668em 0.57em 0.013em 0;
}

mjx-c.mjx-c1D460 {
  padding: 0.479em 0.386em 0.011em 0;
}

mjx-c.mjx-c1D456 {
  padding: 0.665em 0.274em 0.009em 0;
}

mjx-c.mjx-c1D457 {
  padding: 0.665em 0.431em 0.225em 0;
}

mjx-c.mjx-c1D440 {
  padding: 0.657em 0.914em 0 0;
}

mjx-c.mjx-c2211 {
  padding: 0.782em 0.936em 0.248em 0;
}

mjx-c.mjx-c2200 {
  padding: 0.678em 0.573em 0 0;
}

mjx-c.mjx-c221E {
  padding: 0.44em 0.953em 0 0;
}

mjx-c.mjx-c2211.STX-LO {
  padding: 0.919em 1.112em 0.406em 0;
}

mjx-c.mjx-c211D.STX-DS {
  padding: 0.657em 0.729em 0 0;
}

mjx-c.mjx-c1D448 {
  padding: 0.657em 0.802em 0.012em 0;
}

mjx-c.mjx-c2260 {
  padding: 0.678em 0.72em 0.16em 0;
}

mjx-c.mjx-c1D43C {
  padding: 0.657em 0.395em 0 0;
}

mjx-c.mjx-c3A {
  padding: 0.478em 0.245em 0.008em 0;
}

mjx-c.mjx-c2115.STX-DS {
  padding: 0.657em 0.692em 0 0;
}

mjx-c.mjx-c1D44F {
  padding: 0.705em 0.518em 0.012em 0;
}

mjx-c.mjx-c2229 {
  padding: 0.549em 0.636em 0.032em 0;
}

mjx-c.mjx-c2218 {
  padding: 0.428em 0.436em 0 0;
}

mjx-c.mjx-c2261 {
  padding: 0.489em 0.72em 0 0;
}

mjx-c.mjx-c77 {
  padding: 0.473em 0.762em 0.006em 0;
}

mjx-c.mjx-c2203 {
  padding: 0.678em 0.573em 0 0;
}

mjx-c.mjx-c21D2 {
  padding: 0.564em 0.887em 0.046em 0;
}

mjx-c.mjx-c1D45D {
  padding: 0.479em 0.598em 0.22em 0;
}

mjx-c.mjx-c1D712 {
  padding: 0.479em 0.641em 0.208em 0;
}

mjx-c.mjx-c2026.STX-I {
  padding: 0.11em 0.836em 0.008em 0;
}

mjx-c.mjx-c210E {
  padding: 0.706em 0.569em 0.01em 0;
}

mjx-c.mjx-c1D713 {
  padding: 0.695em 0.632em 0.217em 0;
}

mjx-c.mjx-c2254 {
  padding: 0.427em 0.844em 0 0;
}

mjx-c.mjx-c66 {
  padding: 0.713em 0.379em 0 0;
}

mjx-c.mjx-c21A6 {
  padding: 0.461em 0.948em 0 0;
}

mjx-c.mjx-c41 {
  padding: 0.662em 0.718em 0 0;
}

mjx-c.mjx-c42 {
  padding: 0.657em 0.618em 0 0;
}

mjx-c.mjx-c67 {
  padding: 0.485em 0.484em 0.235em 0;
}

mjx-c.mjx-c28.STX-S3 {
  padding: 1.103em 0.427em 0.563em 0;
}

mjx-c.mjx-c1D45E {
  padding: 0.479em 0.517em 0.22em 0;
}

mjx-c.mjx-c29.STX-S3 {
  padding: 1.103em 0.427em 0.563em 0;
}

mjx-c.mjx-c211A.STX-DS {
  padding: 0.669em 0.751em 0.065em 0;
}

mjx-c.mjx-c1D43A {
  padding: 0.67em 0.697em 0.011em 0;
}

mjx-c.mjx-c1D524.STX-F {
  padding: 0.487em 0.486em 0.231em 0;
}

mjx-c.mjx-c4C {
  padding: 0.657em 0.585em 0 0;
}

mjx-c.mjx-c2235 {
  padding: 0.533em 0.635em 0.017em 0;
}

mjx-c.mjx-c2234 {
  padding: 0.533em 0.635em 0.017em 0;
}

mjx-c.mjx-c6B {
  padding: 0.706em 0.542em 0 0;
}

mjx-c.mjx-c2DC.STX-SO {
  padding: 0.711em 0.573em 0 0;
}

mjx-c.mjx-c303:not([class*="STX-"]) {
  padding: 0.642em 0 0 0;
  width: 0.452em;
  margin-left: -0.452em;
}

mjx-c.mjx-c1D44B {
  padding: 0.657em 0.717em 0 0;
}

mjx-c.mjx-c53 {
  padding: 0.669em 0.504em 0.015em 0;
}

mjx-c.mjx-c4F {
  padding: 0.669em 0.738em 0.012em 0;
}

mjx-c.mjx-c7B {
  padding: 0.736em 0.327em 0.197em 0;
}

mjx-c.mjx-c7D {
  padding: 0.736em 0.327em 0.197em 0;
}

mjx-c.mjx-c34 {
  padding: 0.645em 0.495em 0 0;
}

mjx-c.mjx-c2124.STX-DS {
  padding: 0.657em 0.648em 0 0;
}

mjx-c.mjx-c5B {
  padding: 0.736em 0.349em 0.196em 0;
}

mjx-c.mjx-c5B.STX-LO {
  padding: 0.983em 0.39em 0.443em 0;
}

mjx-c.mjx-c7B.STX-SO {
  padding: 0.863em 0.35em 0.324em 0;
}

mjx-c.mjx-c1D70F {
  padding: 0.473em 0.465em 0.008em 0;
}

mjx-c.mjx-c7D.STX-SO {
  padding: 0.863em 0.35em 0.324em 0;
}

mjx-c.mjx-c2102.STX-DS {
  padding: 0.669em 0.695em 0.015em 0;
}

mjx-c.mjx-c47 {
  padding: 0.669em 0.72em 0.011em 0;
}

mjx-c.mjx-c1D447 {
  padding: 0.657em 0.658em 0 0;
}

mjx-c.mjx-c1D70C {
  padding: 0.481em 0.547em 0.216em 0;
}

mjx-c.mjx-c45 {
  padding: 0.657em 0.626em 0 0;
}

mjx-c.mjx-c1D43F {
  padding: 0.657em 0.569em 0 0;
}

mjx-c.mjx-c2282 {
  padding: 0.543em 0.72em 0.026em 0;
}

mjx-c.mjx-c302:not([class*="STX-"]) {
  padding: 0.674em 0 0 0;
  width: 0.46em;
  margin-left: -0.46em;
}

mjx-c.mjx-c2C6.STX-SO {
  padding: 0.754em 0.573em 0 0;
}

mjx-c.mjx-c5D.STX-SO {
  padding: 0.863em 0.37em 0.323em 0;
}

mjx-c.mjx-c5D {
  padding: 0.736em 0.349em 0.196em 0;
}

mjx-c.mjx-c222B.STX-LO {
  padding: 1.429em 1.032em 0.917em 0;
}

mjx-c.mjx-c20 {
  padding: 0 0.235em 0 0;
}

mjx-c.mjx-c75 {
  padding: 0.478em 0.57em 0.01em 0;
}

mjx-c.mjx-c1D700 {
  padding: 0.481em 0.394em 0.014em 0;
}

mjx-c.mjx-c1D6FF {
  padding: 0.71em 0.519em 0.014em 0;
}