diff --git a/modules/ve-math/mathSymbols.json b/modules/ve-math/mathSymbols.json index 00707ed..aef9ac6 100644 --- a/modules/ve-math/mathSymbols.json +++ b/modules/ve-math/mathSymbols.json @@ -1468,6 +1468,24 @@ }, { "insert": "\\twoheadleftarrow" + }, + { + "contain": true, + "tex": "\\xrightarrow[b]{a}", + "encapsulate": { + "pre": "\\xrightarrow[", + "placeholder": "b", + "post": "]{a}" + } + }, + { + "contain": true, + "tex": "\\xleftarrow[b]{a}", + "encapsulate": { + "pre": "\\xleftarrow[", + "placeholder": "b", + "post": "]{a}" + } } ], "math-visualeditor-symbol-group-math-special": [ @@ -2132,6 +2150,14 @@ }, { "insert": "\\rceil" + }, + { + "tex": "\\lfloor x \\rceil", + "encapsulate": { + "pre": "\\lfloor ", + "placeholder": "x", + "post": " \\rceil" + } } ], "math-visualeditor-symbol-group-math-matrices": [ @@ -2693,6 +2719,11 @@ "insert": "\\underbrace{ a+b+\\cdots+z }_{26}", "largeLayout": true, "width": "wide" + }, + { + "insert": "{}_pF_q\\left({a_1, \\ldots, a_p \\atop b_1, \\ldots, b_q}; z\\right)", + "largeLayout": true, + "width": "wide" } ] } \ No newline at end of file diff --git a/modules/ve-math/ve.ui.MWMathSymbols.css b/modules/ve-math/ve.ui.MWMathSymbols.css index 92c0fb6..1da068a 100644 --- a/modules/ve-math/ve.ui.MWMathSymbols.css +++ b/modules/ve-math/ve.ui.MWMathSymbols.css @@ -25,6 +25,10 @@ background-image: url( data:image/svg+xml,%3Csvg%20xmlns%3Axlink%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2Fxlink%22%20style%3D%22vertical-align%3A-1.005ex%22%20width%3D%223.425ex%22%20height%3D%223.176ex%22%20viewBox%3D%220%20-934.9%201474.5%201367.4%22%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%3E%3Ctitle%3EEquation%3C%2Ftitle%3E%3Cdesc%3ESubscript%201%20Superscript%202%20Baseline%20normal%20upper%20Omega%203%20Superscript%204%3C%2Fdesc%3E%3Cdefs%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22a%22%20d%3D%22M109%20429q-27%200-43%2018t-16%2044q0%2071%2053%20123t132%2052q91%200%20152-56t62-145q0-43-20-82t-48-68-80-74q-36-31-100-92l-59-56%2076-1q157%200%20167%205%207%202%2024%2089v3h40v-3q-1-3-13-91T421%203V0H50v31q0%207%206%2015t30%2035q29%2032%2050%2056%209%2010%2034%2037t34%2037%2029%2033%2028%2034%2023%2030%2021%2032%2015%2029%2013%2032%207%2030%203%2033q0%2063-34%20109t-97%2046q-33%200-58-17t-35-33-10-19q0-1%205-1%2018%200%2037-14t19-46q0-25-16-42t-45-18z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22b%22%20d%3D%22M213%20578l-13-5q-14-5-40-10t-58-7H83v46h19q47%202%2087%2015t56%2024%2028%2022q2%203%2012%203%209%200%2017-6V361l1-300q7-7%2012-9t24-4%2062-2h26V0h-11q-21%203-159%203-136%200-157-3H88v46h64q16%200%2025%201t16%203%208%202%206%205%206%204v517z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22c%22%20d%3D%22M55%20454q0%2049%2020%2092t52%2071%2070%2048%2075%2030%2065%209h15q44%200%2052-1%20123-16%20192-88t70-161q0-62-31-124t-76-130-60-117v-3h44q46%201%2057%203t17%2010q5%209%2012%2042t7%2037l1%205h40v-2l-17-86Q645%203%20644%202V0H488q-27%200-32%203t-5%2017q0%2069%2048%20215t49%20220q0%2057-18%20100t-47%2067-59%2034-63%2012q-29%200-58-10t-60-32-50-66-19-104q0-76%2048-223t48-213q0-13-7-20H77v2q-1%201-16%2087l-17%2086v2h40l1-5q0-1%203-17t8-36%208-26q5-7%2016-9t58-4h44v3q-16%2049-60%20116T87%20329%2055%20454z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22d%22%20d%3D%22M462%200q-18%203-129%203-116%200-134-3h-9v46h58q7%200%2017%202t14%205%207%208q1%202%201%2054v50H28v46l151%20231q153%20232%20155%20233%202%202%2021%202h18l6-6V211h92v-46h-92v-51-48q0-7%206-12%208-7%2057-8h29V0h-9zM293%20211v334L74%20212l109-1h110z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22e%22%20d%3D%22M127%20463q-27%200-42%2017t-16%2044q0%2055%2048%2098t116%2043q35%200%2044-1%2074-12%20113-53t40-89q0-52-34-101t-94-71l-3-2q0-1%209-3t29-9%2038-21q82-53%2082-140%200-79-62-138T238-22q-80%200-138%2043T42%20130q0%2028%2018%2045t45%2018q28%200%2046-18t18-45q0-11-3-20t-7-16-11-12-12-8-10-4-8-3l-4-1q51-45%20124-45%2055%200%2083%2053%2017%2033%2017%20101v20q0%2095-64%20127-15%206-61%207l-42%201-3%202q-2%203-2%2016%200%2018%208%2018%2028%200%2058%205%2034%205%2062%2042t28%20112v8q0%2057-35%2079-22%2014-47%2014-32%200-59-11t-38-23-11-12h3q3-1%208-2t10-5%2012-7%2010-11%208-15%203-20q0-22-14-39t-45-18z%22%2F%3E%3C%2Fdefs%3E%3Cg%20stroke%3D%22currentColor%22%20fill%3D%22currentColor%22%20stroke-width%3D%220%22%20transform%3D%22matrix%281%200%200%20-1%200%200%29%22%3E%3Cuse%20transform%3D%22scale%280.707%29%22%20xlink%3Ahref%3D%22%23a%22%20y%3D%22497%22%2F%3E%3Cuse%20transform%3D%22scale%280.707%29%22%20xlink%3Ahref%3D%22%23b%22%20y%3D%22-444%22%2F%3E%3Cg%20transform%3D%22translate%28290%2C0%29%22%3E%3Cuse%20xlink%3Ahref%3D%22%23c%22%2F%3E%3Cuse%20transform%3D%22scale%280.707%29%22%20xlink%3Ahref%3D%22%23d%22%20x%3D%221028%22%20y%3D%22497%22%2F%3E%3Cuse%20transform%3D%22scale%280.707%29%22%20xlink%3Ahref%3D%22%23e%22%20x%3D%221028%22%20y%3D%22-443%22%2F%3E%3C%2Fg%3E%3C%2Fg%3E%3C%2Fsvg%3E ); } +.ve-ui-mwLatexSymbol-_123__125__pF_q_92_left_40__123_a_1_44__32__92_ldots_44__32_a_p_32__92_atop_32_b_1_44__32__92_ldots_44__32_b_q_125__59__32_z_92_right_41_ { + background-image: url( data:image/svg+xml,%3Csvg%20xmlns%3Axlink%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2Fxlink%22%20width%3D%2219.971ex%22%20height%3D%226.343ex%22%20style%3D%22vertical-align%3A-2.671ex%3Bmargin-left%3A-.056ex%22%20viewBox%3D%22-24%20-1580.7%208598.7%202730.8%22%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%3E%3Ctitle%3EEquation%3C%2Ftitle%3E%3Cdesc%3ESubscript%20p%20Baseline%20upper%20F%20Subscript%20q%20Baseline%20left-parenthesis%20multiline%20equation%20line%201%20a%201%20comma%20ellipsis%20comma%20a%20Subscript%20p%20Baseline%20line%202%20b%201%20comma%20ellipsis%20comma%20b%20Subscript%20q%20Baseline%20semicolon%20z%20right-parenthesis%3C%2Fdesc%3E%3Cdefs%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22a%22%20d%3D%22M23%20287q1%203%202%208t5%2022%2010%2031%2015%2033%2020%2030%2026%2022%2033%209q75%200%2096-64l10%209q62%2055%20118%2055%2065%200%20102-47t37-114q0-108-76-199T249-10q-22%200-39%206-11%205-23%2015t-19%2017l-7%208q-1-1-22-87t-21-87q0-6%208-7t37-3h25q6-7%206-9t-3-18q-3-12-6-15t-13-4h-11q-9%200-34%201t-62%201q-70%200-89-2h-8q-7%207-7%2011%202%2027%2013%2035h20q34%201%2039%2012%203%206%2061%20239t61%20247q1%205%201%2014%200%2041-25%2041-22%200-37-28t-23-61-12-36q-2-2-16-2H29q-6%206-6%209zm155-185q22-76%2074-76%2030%200%2058%2023t46%2058q18%2034%2036%20108t19%20110v6q0%2074-61%2074-11%200-22-3t-22-9-20-13-17-15-15-15-11-14-8-10l-3-4q0-1-3-14t-11-44-14-52q-26-106-26-110z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22b%22%20d%3D%22M48%201Q31%201%2031%2011q0%202%203%2014%204%2016%208%2018t23%203q27%200%2060%203%2014%203%2019%2012%202%205%2071%20281t70%20280q0%207-4%207-8%203-53%205h-31q-6%206-6%208t2%2017q4%2017%2010%2021h539q7-4%207-11%200-5-13-112t-14-110q-2-7-20-7h-12q-7%205-7%2013%200%201%203%2024t3%2053q0%2030-7%2049t-19%2031-37%2016-51%207-72%201h-23q-82-1-87-3t-7-8q-1-1-34-131l-32-129h78q20%200%2028%201t22%203%2024%207%2017%2012q13%2012%2022%2033t13%2038%205%2018q3%205%2019%205h12q7-5%207-10%200-3-31-131t-34-132q-2-7-20-7h-12q-7%206-7%2012%200%203%205%2022t5%2040q0%2029-20%2036t-89%207h-55l-32-127Q245%2066%20245%2060q0-14%2089-14h25q6-6%206-7t-2-20q-4-13-10-19h-17q-41%202-151%202H86Q52%202%2048%201z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22c%22%20d%3D%22M33%20157q0%20101%2076%20192t171%2092q60%200%2092-52%201%201%205%206t11%2011%2016%2012q34%2024%2046%2024%204%200%207-3t3-5q0-9-69-285-71-284-71-288%200-8%2045-9h25q6-8%206-9t-3-18q-4-13-10-19h-13q-31%202-108%202h-88q-14%200-17-1-14%200-14%208%200%203%202%2015%204%2016%207%2019t20%203q48%200%2058%207%208%205%2028%2088t21%2085q0%201-7-3-48-39-100-39-55%200-97%2040T33%20157zm319%20169q-23%2079-75%2079-35%200-67-31t-50-81q-29-79-41-164v-11q0-8-1-12%200-45%2018-62t43-18q54%200%20111%2072l8%2011%2054%20217z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22e%22%20d%3D%22M33%20157q0%20101%2076%20192t171%2092q51%200%2090-49%2016%2030%2046%2030%2013%200%2023-8t10-20q0-13-37-160T374%2068q0-25%207-33t21-9q9%201%2020%209%2021%2020%2041%2096%206%2020%2010%2021%202%201%2010%201h4q19%200%2019-9%200-6-5-27t-20-54-32-50Q436%200%20417-8q-8-2-24-2-34%200-57%2015t-30%2031l-6%2015q-1%201-4-1l-4-4q-59-56-120-56-55%200-97%2040T33%20157zm318%20171q0%206-5%2022t-23%2035-46%2020q-35%200-67-31t-50-81q-29-79-41-164v-11q0-8-1-12%200-45%2018-62t43-18q38%200%2075%2033t44%2051q2%204%2027%20107t26%20111z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22f%22%20d%3D%22M213%20578l-13-5q-14-5-40-10t-58-7H83v46h19q47%202%2087%2015t56%2024%2028%2022q2%203%2012%203%209%200%2017-6V361l1-300q7-7%2012-9t24-4%2062-2h26V0h-11q-21%203-159%203-136%200-157-3H88v46h64q16%200%2025%201t16%203%208%202%206%205%206%204v517z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22g%22%20d%3D%22M78%2035v25l16%2043%2043%2018q28%200%2050-25t23-88q0-35-9-68t-21-57-26-41-24-27-13-9q-4%200-13%209t-9%2013q0%204%2011%2016t25%2030%2026%2050%2016%2073V9l-1-1q-2-1-5-2t-6-3-9-2-12-1q-27%200-44%2017z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22h%22%20d%3D%22M78%2060q0%2024%2017%2042t43%2018q24%200%2042-16t19-43q0-25-17-43T139%200%2096%2017%2078%2060zm447%200q0%2024%2017%2042t43%2018q24%200%2042-16t19-43q0-25-17-43T586%200t-43%2017-18%2043zm447%200q0%2024%2017%2042t43%2018q24%200%2042-16t19-43q0-25-17-43t-43-18-43%2017-18%2043z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22i%22%20d%3D%22M73%20647q0%2010%204%2023t12%2013q1%200%2072%205t73%206q12%200%2012-9t-34-143q-8-34-17-70t-15-54l-4-19q0-3%206%203%2049%2040%20101%2040%2062%200%20100-46t39-116q0-111-79-201T173-11q-50%200-91%2038T40%20150v9q0%2021%208%2058t49%20197q50%20197%2050%20209t-38%2014H83q-3%200-7%203t-3%207zm263-322v6q0%2074-61%2074-17%200-35-8t-33-21-26-24-18-22l-6-8-21-86q-22-86-22-122%200-48%2024-72%2016-16%2040-16%2033%200%2067%2032%2025%2023%2040%2056t33%20105q18%2072%2018%20106z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22j%22%20d%3D%22M78%20370q0%2024%2017%2042t43%2018q24%200%2042-16t19-43q0-25-17-43t-43-18-43%2017-18%2043zm0-310q0%2025%2016%2043t43%2018q65%200%2065-113%200-52-19-102t-39-75-26-25q-3%200-12%208t-11%2012q-1%203%2012%2019t30%2048%2023%2069q1%206%202%2016t3%2018%200%208q0%201-4%200t-19-4q-32%200-48%2018T78%2060z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22k%22%20d%3D%22M347%20338q-10%200-53%2011t-63%2011q-20%200-34-4t-23-10-12-11-7-11l-2-4q-3-3-15-3-21%200-21%208%200%205%203%2014%2013%2039%2043%2067t66%2034q12%202%2017%202%2025%200%2045-17t38-33%2038-17q22%200%2044%2033t23%2033q1%201%2015%201h13q6-6%206-8%200-4-5-14t-14-21-17-22-14-19l-7-9q-43-51-136-135T160%20106l-12-12%2015-1q22%200%2064-11t63-11q38%200%2070%2019t42%2050q4%209%207%2011t15%202q19%200%2019-10%200-5-1-9-17-62-66-103t-98-42q-26%200-46%2017t-39%2034-38%2017q-44%200-79-60-6-8-17-8H41q-6%206-6%209%200%2015%2058%2086%2039%2045%20132%20130t115%20108q12%2016%207%2016z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22d%22%20d%3D%22M701-940q0-3-6-9h-31q-2%202-28%2027t-45%2043-54%2061-62%2081-63%20101-62%20125-55%20149-45%20176-29%20203-12%20234q0%20711%20364%201110%2023%2025%2043%2044t33%2032%2015%2013h31q6-6%206-9%200-5-20-26t-52-59-72-95-81-143-76-191-60-252-32-316q-2-38-2-109%200-389%2094-680t290-494q11-12%2011-16z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22l%22%20d%3D%22M34%201438q0%208%203%2010t13%202h21q2-2%2028-27t45-43%2054-61%2062-81%2063-101%2062-124%2055-149%2045-176%2029-203%2012-234q0-117-7-198-47-572-357-913-23-25-43-44t-33-32-15-13H56q-13%200-17%202t-5%2010q54%2054%20106%20124Q428-430%20428%20251q0%20202-26%20377t-64%20294-93%20224-100%20163-99%20116l-4%204q-2%202-3%204t-3%203l-2%202z%22%2F%3E%3C%2Fdefs%3E%3Cg%20stroke%3D%22currentColor%22%20fill%3D%22currentColor%22%20stroke-width%3D%220%22%20transform%3D%22matrix%281%200%200%20-1%200%200%29%22%3E%3Cuse%20transform%3D%22scale%280.707%29%22%20xlink%3Ahref%3D%22%23a%22%20y%3D%22-213%22%2F%3E%3Cg%20transform%3D%22translate%28459%2C0%29%22%3E%3Cuse%20xlink%3Ahref%3D%22%23b%22%2F%3E%3Cuse%20transform%3D%22scale%280.707%29%22%20xlink%3Ahref%3D%22%23c%22%20x%3D%22916%22%20y%3D%22-213%22%2F%3E%3C%2Fg%3E%3Cg%20transform%3D%22translate%281702%2C0%29%22%3E%3Cuse%20xlink%3Ahref%3D%22%23d%22%2F%3E%3Cg%20transform%3D%22translate%28741%2C0%29%20translate%28120%2C0%29%20translate%280%2C704%29%22%3E%3Cuse%20xlink%3Ahref%3D%22%23e%22%2F%3E%3Cuse%20transform%3D%22scale%280.707%29%22%20xlink%3Ahref%3D%22%23f%22%20x%3D%22755%22%20y%3D%22-213%22%2F%3E%3Cuse%20xlink%3Ahref%3D%22%23g%22%20x%3D%22991%22%2F%3E%3Cuse%20xlink%3Ahref%3D%22%23h%22%20x%3D%221440%22%2F%3E%3Cuse%20xlink%3Ahref%3D%22%23g%22%20x%3D%222784%22%2F%3E%3Cg%20transform%3D%22translate%283234%2C0%29%22%3E%3Cuse%20xlink%3Ahref%3D%22%23e%22%2F%3E%3Cuse%20transform%3D%22scale%280.707%29%22%20xlink%3Ahref%3D%22%23a%22%20x%3D%22755%22%20y%3D%22-213%22%2F%3E%3C%2Fg%3E%3C%2Fg%3E%3Cg%20transform%3D%22translate%28741%2C0%29%20translate%28120%2C0%29%20translate%28115%2C-714%29%22%3E%3Cuse%20xlink%3Ahref%3D%22%23i%22%2F%3E%3Cuse%20transform%3D%22scale%280.707%29%22%20xlink%3Ahref%3D%22%23f%22%20x%3D%22613%22%20y%3D%22-213%22%2F%3E%3Cuse%20xlink%3Ahref%3D%22%23g%22%20x%3D%22891%22%2F%3E%3Cuse%20xlink%3Ahref%3D%22%23h%22%20x%3D%221340%22%2F%3E%3Cuse%20xlink%3Ahref%3D%22%23g%22%20x%3D%222684%22%2F%3E%3Cg%20transform%3D%22translate%283134%2C0%29%22%3E%3Cuse%20xlink%3Ahref%3D%22%23i%22%2F%3E%3Cuse%20transform%3D%22scale%280.707%29%22%20xlink%3Ahref%3D%22%23c%22%20x%3D%22613%22%20y%3D%22-213%22%2F%3E%3C%2Fg%3E%3C%2Fg%3E%3Cuse%20xlink%3Ahref%3D%22%23j%22%20x%3D%225208%22%2F%3E%3Cuse%20xlink%3Ahref%3D%22%23k%22%20x%3D%225657%22%2F%3E%3Cuse%20xlink%3Ahref%3D%22%23l%22%20x%3D%226130%22%20y%3D%22-1%22%2F%3E%3C%2Fg%3E%3C%2Fg%3E%3C%2Fsvg%3E ); +} + .ve-ui-mwLatexSymbol-_123__92_operatorname_123_d_125__92__33_y_92_over_92_operatorname_123_d_125__92__33_x_125_ { background-image: url( data:image/svg+xml,%3Csvg%20xmlns%3Axlink%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2Fxlink%22%20style%3D%22vertical-align%3A-2.005ex%22%20width%3D%223.479ex%22%20height%3D%225.676ex%22%20viewBox%3D%220%20-1580.7%201498%202443.8%22%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%3E%3Ctitle%3EEquation%3C%2Ftitle%3E%3Cdesc%3EStartFraction%20normal%20d%20y%20Over%20normal%20d%20x%20EndFraction%3C%2Fdesc%3E%3Cdefs%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22a%22%20d%3D%22M376%20495v40q0%2024%201%2033%200%2045-10%2056t-51%2013h-18v23q0%2023%202%2023l10%201q10%201%2029%202t37%202%2037%202%2030%203%2011%201h3V390q0-306%201-309%203-20%2014-26t45-9h18V0q-2%200-76-5t-79-6h-7v55l-8-7q-58-48-130-48-77%200-139%2061T34%20215q0%20100%2063%20163t147%2064q75%200%20132-49v102zm-3-153q-45%2063-113%2063-49%200-87-36-27-28-34-64t-8-94q0-56%207-91t35-61q30-33%2078-33%2071%200%20122%2077v239z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22b%22%20d%3D%22M21%20287q0%2014%2015%2048t48%2071%2074%2036q41%200%2066-23t26-64q-2-19-3-21%200-3-16-46t-33-97-16-86q0-43%2014-60t42-18q23%200%2043%2011t31%2023%2027%2033q0%201%205%2020t14%2059%2019%2074q38%20150%2042%20157%2013%2027%2043%2027%2013%200%2021-7t11-12%202-9q0-13-49-210T391-23q-28-83-97-132t-138-50q-45%200-79%2022t-34%2066q0%2022%207%2037t19%2022%2020%2010%2017%203q44%200%2044-42%200-20-12-35t-23-20-13-5l-3-1q2-5%2019-12t34-7h8q17%200%2026%202%2033%209%2061%2038t43%2062%2023%2056%208%2030l-6-4q-6-4-19-11T270-6q-20-5-39-5-46%200-81%2022t-46%2071q-1%207-1%2031%200%2057%2035%20149t35%20117v14q0%203-4%207t-11%204h-4q-23%200-42-19t-30-41-17-42-8-22q-2-2-16-2H27q-6%206-6%209z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22c%22%20d%3D%22M52%20289q7%2042%2054%2097t116%2056q35%200%2064-18t43-45q42%2063%20101%2063%2037%200%2064-22t28-59q0-29-14-47t-27-22-23-4q-19%200-31%2011t-12%2029q0%2046%2050%2063-11%2013-40%2013-13%200-19-2-38-16-56-66-60-221-60-258%200-28%2016-40t35-12q37%200%2073%2033t49%2081q3%2010%206%2011t16%202h4q15%200%2015-8%200-1-2-11-16-57-62-101T333-11q-70%200-106%2063-41-62-94-62h-6q-49%200-70%2026T35%2071q0%2032%2019%2052t45%2020q43%200%2043-42%200-20-12-35t-23-20-13-5l-3-1q0-1%206-4t16-7%2019-3q36%200%2062%2045%209%2016%2023%2068t28%20108%2016%2066q5%2027%205%2039%200%2028-15%2040t-34%2012q-40%200-75-32t-49-82q-2-9-5-10t-16-2H58q-6%206-6%2011z%22%2F%3E%3C%2Fdefs%3E%3Cg%20stroke%3D%22currentColor%22%20fill%3D%22currentColor%22%20stroke-width%3D%220%22%3E%3Cpath%20stroke%3D%22none%22%20d%3D%22M120-220h1258v-60H120z%22%2F%3E%3Cg%20transform%3D%22matrix%281%200%200%20-1%200%200%29%20translate%28120%2C0%29%20translate%2897%2C734%29%22%3E%3Cuse%20xlink%3Ahref%3D%22%23a%22%2F%3E%3Cuse%20xlink%3Ahref%3D%22%23b%22%20x%3D%22561%22%2F%3E%3C%2Fg%3E%3Cg%20transform%3D%22matrix%281%200%200%20-1%200%200%29%20translate%28120%2C0%29%20translate%2860%2C-725%29%22%3E%3Cuse%20xlink%3Ahref%3D%22%23a%22%2F%3E%3Cuse%20xlink%3Ahref%3D%22%23c%22%20x%3D%22561%22%2F%3E%3C%2Fg%3E%3C%2Fg%3E%3C%2Fsvg%3E ); } @@ -1302,6 +1306,10 @@ background-image: url( data:image/svg+xml,%3Csvg%20xmlns%3Axlink%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2Fxlink%22%20style%3D%22vertical-align%3A-.838ex%22%20width%3D%221.043ex%22%20height%3D%222.843ex%22%20viewBox%3D%220%20-863.1%20449%201223.9%22%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%3E%3Ctitle%3EEquation%3C%2Ftitle%3E%3Cdesc%3Eleft%20floor%3C%2Fdesc%3E%3Cdefs%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22a%22%20d%3D%22M174%20734q0%201%201%203t2%203%203%204%204%203%205%202%207%201q10-2%2018-15v-945h159q28%200%2038-3t11-17-11-17-42-4h-31q-24%200-40%201H190q-12%204-16%2016v968z%22%2F%3E%3C%2Fdefs%3E%3Cuse%20xlink%3Ahref%3D%22%23a%22%20stroke%3D%22currentColor%22%20fill%3D%22currentColor%22%20stroke-width%3D%220%22%20transform%3D%22matrix%281%200%200%20-1%200%200%29%22%2F%3E%3C%2Fsvg%3E ); } +.ve-ui-mwLatexSymbol-_92_lfloor_32_x_32__92_rceil { + background-image: url( data:image/svg+xml,%3Csvg%20xmlns%3Axlink%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2Fxlink%22%20width%3D%223.426ex%22%20height%3D%222.843ex%22%20style%3D%22vertical-align%3A-.838ex%22%20viewBox%3D%220%20-863.1%201475%201223.9%22%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%3E%3Ctitle%3EEquation%3C%2Ftitle%3E%3Cdesc%3Eleft%20floor%20x%20right%20ceiling%3C%2Fdesc%3E%3Cdefs%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22a%22%20d%3D%22M174%20734q0%201%201%203t2%203%203%204%204%203%205%202%207%201q10-2%2018-15v-945h159q28%200%2038-3t11-17-11-17-42-4h-31q-24%200-40%201H190q-12%204-16%2016v968z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22b%22%20d%3D%22M52%20289q7%2042%2054%2097t116%2056q35%200%2064-18t43-45q42%2063%20101%2063%2037%200%2064-22t28-59q0-29-14-47t-27-22-23-4q-19%200-31%2011t-12%2029q0%2046%2050%2063-11%2013-40%2013-13%200-19-2-38-16-56-66-60-221-60-258%200-28%2016-40t35-12q37%200%2073%2033t49%2081q3%2010%206%2011t16%202h4q15%200%2015-8%200-1-2-11-16-57-62-101T333-11q-70%200-106%2063-41-62-94-62h-6q-49%200-70%2026T35%2071q0%2032%2019%2052t45%2020q43%200%2043-42%200-20-12-35t-23-20-13-5l-3-1q0-1%206-4t16-7%2019-3q36%200%2062%2045%209%2016%2023%2068t28%20108%2016%2066q5%2027%205%2039%200%2028-15%2040t-34%2012q-40%200-75-32t-49-82q-2-9-5-10t-16-2H58q-6%206-6%2011z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22c%22%20d%3D%22M21%20717v13l11%2016%2043%204h181q10-8%2013-15v-970q-7-13-18-15-4%200-7%201t-5%202-4%203-2%203-2%204-2%203v944H99q-20%200-28-1-28%200-39%204z%22%2F%3E%3C%2Fdefs%3E%3Cg%20stroke%3D%22currentColor%22%20fill%3D%22currentColor%22%20stroke-width%3D%220%22%20transform%3D%22matrix%281%200%200%20-1%200%200%29%22%3E%3Cuse%20xlink%3Ahref%3D%22%23a%22%2F%3E%3Cuse%20xlink%3Ahref%3D%22%23b%22%20x%3D%22449%22%2F%3E%3Cuse%20xlink%3Ahref%3D%22%23c%22%20x%3D%221026%22%2F%3E%3C%2Fg%3E%3C%2Fsvg%3E ); +} + .ve-ui-mwLatexSymbol-_92_lg { background-image: url( data:image/svg+xml,%3Csvg%20xmlns%3Axlink%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2Fxlink%22%20width%3D%221.83ex%22%20height%3D%222.676ex%22%20style%3D%22vertical-align%3A-.838ex%22%20viewBox%3D%220%20-791.3%20788%201152.1%22%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%3E%3Cdefs%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22a%22%20d%3D%22M42%2046h14q39%200%2047%2014v64q0%2019%201%2043t0%2050%200%2055%200%2057v213q0%2026-1%2044t0%2017q-3%2019-14%2025t-45%209H26v23q0%2023%202%2023l10%201q10%201%2029%202t37%202%2037%202%2030%203%2011%201h3V379q0-317%201-319%204-8%2012-11%2021-3%2049-3h16V0h-8l-23%201q-23%201-49%201t-38%201-38%200-50-2L34%200h-8v46h16z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22b%22%20d%3D%22M329%20409q44%2044%20100%2044%2030%200%2043-19t13-38q0-14-9-25t-27-11q-33%200-37%2030-2%2014%203%2021%200%201%201%203v1q-28-3-53-22-8-5-8-7%200-1%204-5t9-12%2011-18%209-26%204-33q0-62-49-105t-121-44q-50%200-99%2028-11-18-11-38%200-35%2026-52%209-6%2017-6t72-2q84-1%20108-6%2061-9%2096-41%2039-39%2039-98%200-67-78-103-60-31-142-31-83%200-143%2031-78%2035-78%20100%200%2036%2021%2060t42%2033l11%206q-36%2031-36%2084%200%2047%2029%2085-44%2044-44%2099%200%2063%2050%20106t121%2044q51%200%2095-26l11-7zm-30-66q-5%2028-26%2044t-52%2017q-29%200-50-16t-26-45q-3-17-3-51%200-44%207-65t30-35q17-10%2043-10%2022%200%2038%207t23%2018%2011%2020%205%2015q3%2016%203%2050t-3%2051zM403-75q0%2025-14%2041t-41%2023-49%209-54%202h-27q-67%200-80-6-20-9-31-28T95-74q0-10%206-23t21-30%2048-28%2080-12q69%200%20111%2028t42%2064z%22%2F%3E%3C%2Fdefs%3E%3Cg%20stroke%3D%22currentColor%22%20fill%3D%22currentColor%22%20stroke-width%3D%220%22%20transform%3D%22matrix%281%200%200%20-1%200%200%29%22%3E%3Cuse%20xlink%3Ahref%3D%22%23a%22%2F%3E%3Cuse%20xlink%3Ahref%3D%22%23b%22%20x%3D%22283%22%2F%3E%3C%2Fg%3E%3C%2Fsvg%3E ); background-position: 50% 59.54789256141223%; @@ -2425,6 +2433,14 @@ background-position: 50% 54.513914375023724%; } +.ve-ui-mwLatexSymbol-_92_xleftarrow_91_b_93__123_a_125_ { + background-image: url( data:image/svg+xml,%3Csvg%20xmlns%3Axlink%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2Fxlink%22%20width%3D%222.334ex%22%20height%3D%225.509ex%22%20style%3D%22vertical-align%3A-1.859ex%3Bmargin-top%3A-.357ex%3Bmargin-bottom%3A-.646ex%22%20viewBox%3D%220%20-1293.7%201005%202372%22%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%3E%3Ctitle%3EEquation%3C%2Ftitle%3E%3Cdesc%3Eleft-arrow%20Underscript%20b%20Overscript%20a%20Endscripts%3C%2Fdesc%3E%3Cdefs%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22a%22%20d%3D%22M944%20261v-11l-15-20H165q2-2%2017-14t29-27%2033-37%2033-56%2026-71q5-18%205-25%200-11-20-11h-10q-3%200-6%204t-5%209-4%2019q-18%2073-68%20130T73%20236q-15%206-18%2011%200%207%204%2010t14%207q48%2019%2085%2050t57%2061%2032%2059%2017%2046l3%2017q2%206%203%208t5%204%2013%202q20%200%2020-11%200-7-5-25-10-37-25-69t-32-54-31-37-30-28-20-17h764q15-9%2015-20z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22b%22%20d%3D%22M73%20647q0%2010%204%2023t12%2013q1%200%2072%205t73%206q12%200%2012-9t-34-143q-8-34-17-70t-15-54l-4-19q0-3%206%203%2049%2040%20101%2040%2062%200%20100-46t39-116q0-111-79-201T173-11q-50%200-91%2038T40%20150v9q0%2021%208%2058t49%20197q50%20197%2050%20209t-38%2014H83q-3%200-7%203t-3%207zm263-322v6q0%2074-61%2074-17%200-35-8t-33-21-26-24-18-22l-6-8-21-86q-22-86-22-122%200-48%2024-72%2016-16%2040-16%2033%200%2067%2032%2025%2023%2040%2056t33%20105q18%2072%2018%20106z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22c%22%20d%3D%22M33%20157q0%20101%2076%20192t171%2092q51%200%2090-49%2016%2030%2046%2030%2013%200%2023-8t10-20q0-13-37-160T374%2068q0-25%207-33t21-9q9%201%2020%209%2021%2020%2041%2096%206%2020%2010%2021%202%201%2010%201h4q19%200%2019-9%200-6-5-27t-20-54-32-50Q436%200%20417-8q-8-2-24-2-34%200-57%2015t-30%2031l-6%2015q-1%201-4-1l-4-4q-59-56-120-56-55%200-97%2040T33%20157zm318%20171q0%206-5%2022t-23%2035-46%2020q-35%200-67-31t-50-81q-29-79-41-164v-11q0-8-1-12%200-45%2018-62t43-18q38%200%2075%2033t44%2051q2%204%2027%20107t26%20111z%22%2F%3E%3C%2Fdefs%3E%3Cg%20stroke%3D%22currentColor%22%20fill%3D%22currentColor%22%20stroke-width%3D%220%22%20transform%3D%22matrix%281%200%200%20-1%200%200%29%22%3E%3Cuse%20xlink%3Ahref%3D%22%23a%22%2F%3E%3Cuse%20transform%3D%22translate%28115%2C-686%29%20scale%280.707%29%22%20xlink%3Ahref%3D%22%23b%22%20x%3D%22462%22%20y%3D%22-340%22%2F%3E%3Cuse%20transform%3D%22translate%2880%2C721%29%20scale%280.707%29%22%20xlink%3Ahref%3D%22%23c%22%20x%3D%22462%22%20y%3D%22212%22%2F%3E%3C%2Fg%3E%3C%2Fsvg%3E ); +} + +.ve-ui-mwLatexSymbol-_92_xrightarrow_91_b_93__123_a_125_ { + background-image: url( data:image/svg+xml,%3Csvg%20xmlns%3Axlink%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2Fxlink%22%20width%3D%222.334ex%22%20height%3D%225.509ex%22%20style%3D%22vertical-align%3A-1.859ex%3Bmargin-top%3A-.357ex%3Bmargin-bottom%3A-.646ex%22%20viewBox%3D%220%20-1293.7%201005%202372%22%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%3E%3Ctitle%3EEquation%3C%2Ftitle%3E%3Cdesc%3Eright-arrow%20Underscript%20b%20Overscript%20a%20Endscripts%3C%2Fdesc%3E%3Cdefs%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22a%22%20d%3D%22M56%20237v13l14%2020h765q-116%2087-143%20223v3q0%202-1%203%200%2012%2017%2012h3q9%200%2012-1t6-4%203-9%203-16%208-25q22-67%2073-120t119-75q9-3%209-11%200-6-5-9t-24-10-38-19q-41-26-71-60t-45-67-21-50-8-31q-2-10-5-12t-16-3q-20%200-20%2011%200%207%205%2025%2032%20126%20139%20205H70q-14%207-14%2020z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22b%22%20d%3D%22M73%20647q0%2010%204%2023t12%2013q1%200%2072%205t73%206q12%200%2012-9t-34-143q-8-34-17-70t-15-54l-4-19q0-3%206%203%2049%2040%20101%2040%2062%200%20100-46t39-116q0-111-79-201T173-11q-50%200-91%2038T40%20150v9q0%2021%208%2058t49%20197q50%20197%2050%20209t-38%2014H83q-3%200-7%203t-3%207zm263-322v6q0%2074-61%2074-17%200-35-8t-33-21-26-24-18-22l-6-8-21-86q-22-86-22-122%200-48%2024-72%2016-16%2040-16%2033%200%2067%2032%2025%2023%2040%2056t33%20105q18%2072%2018%20106z%22%2F%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22c%22%20d%3D%22M33%20157q0%20101%2076%20192t171%2092q51%200%2090-49%2016%2030%2046%2030%2013%200%2023-8t10-20q0-13-37-160T374%2068q0-25%207-33t21-9q9%201%2020%209%2021%2020%2041%2096%206%2020%2010%2021%202%201%2010%201h4q19%200%2019-9%200-6-5-27t-20-54-32-50Q436%200%20417-8q-8-2-24-2-34%200-57%2015t-30%2031l-6%2015q-1%201-4-1l-4-4q-59-56-120-56-55%200-97%2040T33%20157zm318%20171q0%206-5%2022t-23%2035-46%2020q-35%200-67-31t-50-81q-29-79-41-164v-11q0-8-1-12%200-45%2018-62t43-18q38%200%2075%2033t44%2051q2%204%2027%20107t26%20111z%22%2F%3E%3C%2Fdefs%3E%3Cg%20stroke%3D%22currentColor%22%20fill%3D%22currentColor%22%20stroke-width%3D%220%22%20transform%3D%22matrix%281%200%200%20-1%200%200%29%22%3E%3Cuse%20xlink%3Ahref%3D%22%23a%22%2F%3E%3Cuse%20transform%3D%22translate%2892%2C-686%29%20scale%280.707%29%22%20xlink%3Ahref%3D%22%23b%22%20x%3D%22330%22%20y%3D%22-340%22%2F%3E%3Cuse%20transform%3D%22translate%2856%2C721%29%20scale%280.707%29%22%20xlink%3Ahref%3D%22%23c%22%20x%3D%22330%22%20y%3D%22212%22%2F%3E%3C%2Fg%3E%3C%2Fsvg%3E ); +} + .ve-ui-mwLatexSymbol-_92_zeta { background-image: url( data:image/svg+xml,%3Csvg%20xmlns%3Axlink%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2Fxlink%22%20width%3D%221.106ex%22%20height%3D%222.509ex%22%20style%3D%22vertical-align%3A-.671ex%22%20viewBox%3D%220%20-791.3%20476%201080.4%22%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%3E%3Cdefs%3E%3Cpath%20stroke-width%3D%2210%22%20id%3D%22a%22%20d%3D%22M296%20643q2%2061%2028%2061%2018%200%2018-17%200-5-3-23t-3-31q0-10%201-15t1-7q1%201%203%201%202%202%2013%204t20%202l10%201h10q77%200%2077-33-4-38-85-40h-14q-34%200-52%2018l-9-6q-76-52-136-160t-61-208q0-19%202-35t9-28%2012-23%2016-18%2018-14%2021-11%2021-8%2022-7%2021-7l66-23q67-26%2067-96%200-39-25-74t-64-48q-8-2-26-2-27%200-49%208-15%204-32%2014t-21%2015q-5%208%201%2019%207%209%2018%209%204%200%2030-14t62-15q15%202%2027%2016t12%2035q0%2026-20%2042t-52%2024-67%2022-67%2033-51%2058-21%2098q0%20127%2077%20250t172%20180l9%205q-6%2018-6%2048z%22%2F%3E%3C%2Fdefs%3E%3Cuse%20xlink%3Ahref%3D%22%23a%22%20stroke%3D%22currentColor%22%20fill%3D%22currentColor%22%20stroke-width%3D%220%22%20transform%3D%22matrix%281%200%200%20-1%200%200%29%22%2F%3E%3C%2Fsvg%3E ); background-position: 50% 54.513914375023724%;