Upload folder using huggingface_hub

README.md

@@ -1,7 +1,7 @@
 ---
 tags: [gradio-custom-component, Chatbot, chatbot, agents, streaming, tools]
 title: gradio_agentchatbot
-short_description: Chat with agents and see the tools they use
+short_description: Chat with agents 🤖 and see their thoughts 💭
 colorFrom: blue
 colorTo: yellow
 sdk: gradio
@@ -80,7 +80,7 @@ if __name__ == "__main__":
 
 The `AgentChatbot` is similar to the core `Gradio` `Chatbot` but the key difference is in the expected data format of the `value` property.
 
-Instead of a list of tuples, each of which can be either a string or tuple, the value is a list of message instances. Each message can be either a `ChatMessage` or a `ChatFileMessage`. These are pydantic classes that are compatible with the OpenAI [message format](https://platform.openai.com/docs/api-reference/chat/create#chat-create-messages). This is how the are defined:
+Instead of a list of tuples, each of which can be either a string or tuple, the value is a list of message instances. Each message can be either a `ChatMessage` or a `ChatFileMessage`. These are pydantic classes that are compatible with the OpenAI [message format](https://platform.openai.com/docs/api-reference/chat/create#chat-create-messages). This is how they are defined:
 
 ```python
 class ThoughtMetadata(GradioModel):
@@ -91,14 +91,12 @@ class ThoughtMetadata(GradioModel):
 class ChatMessage(GradioModel):
     role: Literal["user", "assistant"]
     content: str
-    thought: bool = False
     thought_metadata: ThoughtMetadata = Field(default_factory=ThoughtMetadata)
 
 
 class ChatFileMessage(GradioModel):
     role: Literal["user", "assistant"]
     file: FileData
-    thought: bool = False
     thought_metadata: ThoughtMetadata = Field(default_factory=ThoughtMetadata)
     alt_text: Optional[str] = None
 ```
@@ -112,12 +110,20 @@ def chat_echo(prompt: str, messages: List[ChatMessage | ChatFileMessage]) -> Lis
     return messages
 ```
 
-### Why a different data format?
+### Why a different data format than Gradio core?
 
 The OpenAI data format is the standard format for representing LLM conversations and most API providers have adopted it.
 By using a compliant data format, it should be easier to use `AgentChatbot` with multiple API providers and libraries.
 
 
+### What is `thought_metadata` field for?
+
+You can use this to add additional information data about the current thought, like the names of the tool used.
+If the `thought_metadata.tool_name` field is not `None`, the message `content` will be displayed in a collapsible tool modal. See below:
+
+![Tool Modal](https://gradio-builds.s3.amazonaws.com/demo-files/tool_modal.gif)
+
+
 ### Why are pydantic data classes required?
 
 It should improve developer experience since your editor will auto-complete the required fields and use smart autocomplete for the `role` class. You will also get an error message if your data does not conform to the data format.

app.py

@@ -37,6 +37,7 @@ def interact_with_agent(prompt, messages):
 with gr.Blocks() as demo:
     with gr.Tabs():
         with gr.Tab("Demo"):
+            gr.Markdown("# Chat with an LLM Agent 🤖 and see its thoughts 💭")
             chatbot = AgentChatbot(
                 label="Agent",
                 avatar_images=[

docs.md

@@ -69,7 +69,7 @@ if __name__ == "__main__":
 
 The `AgentChatbot` is similar to the core `Gradio` `Chatbot` but the key difference is in the expected data format of the `value` property.
 
-Instead of a list of tuples, each of which can be either a string or tuple, the value is a list of message instances. Each message can be either a `ChatMessage` or a `ChatFileMessage`. These are pydantic classes that are compatible with the OpenAI [message format](https://platform.openai.com/docs/api-reference/chat/create#chat-create-messages). This is how the are defined:
+Instead of a list of tuples, each of which can be either a string or tuple, the value is a list of message instances. Each message can be either a `ChatMessage` or a `ChatFileMessage`. These are pydantic classes that are compatible with the OpenAI [message format](https://platform.openai.com/docs/api-reference/chat/create#chat-create-messages). This is how they are defined:
 
 ```python
 class ThoughtMetadata(GradioModel):
@@ -80,14 +80,12 @@ class ThoughtMetadata(GradioModel):
 class ChatMessage(GradioModel):
     role: Literal["user", "assistant"]
     content: str
-    thought: bool = False
     thought_metadata: ThoughtMetadata = Field(default_factory=ThoughtMetadata)
 
 
 class ChatFileMessage(GradioModel):
     role: Literal["user", "assistant"]
     file: FileData
-    thought: bool = False
     thought_metadata: ThoughtMetadata = Field(default_factory=ThoughtMetadata)
     alt_text: Optional[str] = None
 ```
@@ -101,12 +99,20 @@ def chat_echo(prompt: str, messages: List[ChatMessage | ChatFileMessage]) -> Lis
     return messages
 ```
 
-### Why a different data format?
+### Why a different data format than Gradio core?
 
 The OpenAI data format is the standard format for representing LLM conversations and most API providers have adopted it.
 By using a compliant data format, it should be easier to use `AgentChatbot` with multiple API providers and libraries.
 
 
+### What is `thought_metadata` field for?
+
+You can use this to add additional information data about the current thought, like the names of the tool used.
+If the `thought_metadata.tool_name` field is not `None`, the message `content` will be displayed in a collapsible tool modal. See below:
+
+![Tool Modal](https://gradio-builds.s3.amazonaws.com/demo-files/tool_modal.gif)
+
+
 ### Why are pydantic data classes required?
 
 It should improve developer experience since your editor will auto-complete the required fields and use smart autocomplete for the `role` class. You will also get an error message if your data does not conform to the data format.

requirements.txt

@@ -1,4 +1,4 @@
-gradio_agentchatbot
+gradio_agentchatbot==0.0.2
 git+https://github.com/huggingface/transformers.git#egg=transformers[agents]
 langchain
 langchain-community

src/LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

src/README.md

@@ -1,12 +1,12 @@
 ---
 tags: [gradio-custom-component, Chatbot, chatbot, agents, streaming, tools]
 title: gradio_agentchatbot
-short_description: Chat with agents and see the tools they use
+short_description: Chat with agents 🤖 and see their thoughts 💭
 colorFrom: blue
 colorTo: yellow
 sdk: gradio
 pinned: false
-app_file: space.py
+app_file: app.py
 ---
 
 # gradio_agentchatbot
@@ -80,7 +80,7 @@ if __name__ == "__main__":
 
 The `AgentChatbot` is similar to the core `Gradio` `Chatbot` but the key difference is in the expected data format of the `value` property.
 
-Instead of a list of tuples, each of which can be either a string or tuple, the value is a list of message instances. Each message can be either a `ChatMessage` or a `ChatFileMessage`. These are pydantic classes that are compatible with the OpenAI [message format](https://platform.openai.com/docs/api-reference/chat/create#chat-create-messages). This is how the are defined:
+Instead of a list of tuples, each of which can be either a string or tuple, the value is a list of message instances. Each message can be either a `ChatMessage` or a `ChatFileMessage`. These are pydantic classes that are compatible with the OpenAI [message format](https://platform.openai.com/docs/api-reference/chat/create#chat-create-messages). This is how they are defined:
 
 ```python
 class ThoughtMetadata(GradioModel):
@@ -91,14 +91,12 @@ class ThoughtMetadata(GradioModel):
 class ChatMessage(GradioModel):
     role: Literal["user", "assistant"]
     content: str
-    thought: bool = False
     thought_metadata: ThoughtMetadata = Field(default_factory=ThoughtMetadata)
 
 
 class ChatFileMessage(GradioModel):
     role: Literal["user", "assistant"]
     file: FileData
-    thought: bool = False
     thought_metadata: ThoughtMetadata = Field(default_factory=ThoughtMetadata)
     alt_text: Optional[str] = None
 ```
@@ -112,12 +110,20 @@ def chat_echo(prompt: str, messages: List[ChatMessage | ChatFileMessage]) -> Lis
     return messages
 ```
 
-### Why a different data format?
+### Why a different data format than Gradio core?
 
 The OpenAI data format is the standard format for representing LLM conversations and most API providers have adopted it.
 By using a compliant data format, it should be easier to use `AgentChatbot` with multiple API providers and libraries.
 
 
+### What is `thought_metadata` field for?
+
+You can use this to add additional information data about the current thought, like the names of the tool used.
+If the `thought_metadata.tool_name` field is not `None`, the message `content` will be displayed in a collapsible tool modal. See below:
+
+![Tool Modal](https://gradio-builds.s3.amazonaws.com/demo-files/tool_modal.gif)
+
+
 ### Why are pydantic data classes required?
 
 It should improve developer experience since your editor will auto-complete the required fields and use smart autocomplete for the `role` class. You will also get an error message if your data does not conform to the data format.

src/backend/gradio_agentchatbot/templates/component/index.js

@@ -2114,8 +2114,8 @@ function co() {
       } catch {
       }
     }
-    const $e = D.body || D.documentElement;
-    return z && ne && $e.insertBefore(s.createTextNode(ne), $e.childNodes[0] || null), Ce === Nt ? J.call(D, ct ? "html" : "body")[0] : ct ? D.documentElement : $e;
+    const Je = D.body || D.documentElement;
+    return z && ne && Je.insertBefore(s.createTextNode(ne), Je.childNodes[0] || null), Ce === Nt ? J.call(D, ct ? "html" : "body")[0] : ct ? D.documentElement : Je;
   }, X = function(z) {
     return O.call(
       z.ownerDocument || z,
@@ -2148,12 +2148,12 @@ function co() {
       if (!ie[ne] && w0(ne) && (be.tagNameCheck instanceof RegExp && ft(be.tagNameCheck, ne) || be.tagNameCheck instanceof Function && be.tagNameCheck(ne)))
         return !1;
       if (un && !S0[ne]) {
-        const F = A(z) || z.parentNode, $e = U(z) || z.childNodes;
-        if ($e && F) {
-          const Qe = $e.length;
+        const F = A(z) || z.parentNode, Je = U(z) || z.childNodes;
+        if (Je && F) {
+          const Qe = Je.length;
           for (let ot = Qe - 1; ot >= 0; --ot) {
-            const et = j($e[ot], !0);
-            et.__removalCount = (z.__removalCount || 0) + 1, F.insertBefore(et, G(z));
+            const $e = j(Je[ot], !0);
+            $e.__removalCount = (z.__removalCount || 0) + 1, F.insertBefore($e, G(z));
           }
         }
       }
@@ -2209,40 +2209,40 @@ function co() {
     };
     let F = D.length;
     for (; F--; ) {
-      const $e = D[F], {
+      const Je = D[F], {
         name: Qe,
         namespaceURI: ot,
-        value: et
-      } = $e, ue = je(Qe);
-      let tt = Qe === "value" ? et : L4(et);
-      if (ne.attrName = ue, ne.attrValue = tt, ne.keepAttr = !0, ne.forceKeepAttr = void 0, De("uponSanitizeAttribute", z, ne), tt = ne.attrValue, ne.forceKeepAttr || (h(Qe, z), !ne.keepAttr))
+        value: $e
+      } = Je, ue = je(Qe);
+      let et = Qe === "value" ? $e : L4($e);
+      if (ne.attrName = ue, ne.attrValue = et, ne.keepAttr = !0, ne.forceKeepAttr = void 0, De("uponSanitizeAttribute", z, ne), et = ne.attrValue, ne.forceKeepAttr || (h(Qe, z), !ne.keepAttr))
         continue;
-      if (!bt && ft(/\/>/i, tt)) {
+      if (!bt && ft(/\/>/i, et)) {
         h(Qe, z);
         continue;
       }
-      if (p0 && ft(/((--!?|])>)|<\/(style|title)/i, tt)) {
+      if (p0 && ft(/((--!?|])>)|<\/(style|title)/i, et)) {
         h(Qe, z);
         continue;
       }
       it && lr([ce, pe, ve], (dn) => {
-        tt = kn(tt, dn, " ");
+        et = kn(et, dn, " ");
       });
       const P0 = je(z.nodeName);
-      if (lt(P0, ue, tt)) {
-        if (O0 && (ue === "id" || ue === "name") && (h(Qe, z), tt = Nn + tt), S && typeof q == "object" && typeof q.getAttributeType == "function" && !ot)
+      if (lt(P0, ue, et)) {
+        if (O0 && (ue === "id" || ue === "name") && (h(Qe, z), et = Nn + et), S && typeof q == "object" && typeof q.getAttributeType == "function" && !ot)
           switch (q.getAttributeType(P0, ue)) {
             case "TrustedHTML": {
-              tt = S.createHTML(tt);
+              et = S.createHTML(et);
               break;
             }
             case "TrustedScriptURL": {
-              tt = S.createScriptURL(tt);
+              et = S.createScriptURL(et);
               break;
             }
           }
         try {
-          ot ? z.setAttributeNS(ot, Qe, tt) : z.setAttribute(Qe, tt), w(z) ? ye(z) : Pl(n.removed);
+          ot ? z.setAttributeNS(ot, Qe, et) : z.setAttribute(Qe, et), w(z) ? ye(z) : Pl(n.removed);
         } catch {
         }
       }
@@ -2260,7 +2260,7 @@ function co() {
     De("afterSanitizeShadowDOM", z, null);
   };
   return n.sanitize = function(re) {
-    let z = arguments.length > 1 && arguments[1] !== void 0 ? arguments[1] : {}, D = null, ne = null, F = null, $e = null;
+    let z = arguments.length > 1 && arguments[1] !== void 0 ? arguments[1] : {}, D = null, ne = null, F = null, Je = null;
     if (Q = !re, Q && (re = "<!-->"), typeof re != "string" && !E(re))
       if (typeof re.toString == "function") {
         if (re = re.toString(), typeof re != "string")
@@ -2271,8 +2271,8 @@ function co() {
       return re;
     if (g0 || Lt(z), n.removed = [], typeof re == "string" && (b0 = !1), b0) {
       if (re.nodeName) {
-        const et = je(re.nodeName);
-        if (!Fe[et] || ie[et])
+        const $e = je(re.nodeName);
+        if (!Fe[$e] || ie[$e])
           throw Dn("root node is forbidden and cannot be sanitized in-place");
       }
     } else if (re instanceof p)
@@ -2289,23 +2289,23 @@ function co() {
     for (; F = Qe.nextNode(); ) {
       if (te(F))
         continue;
-      const et = A(F);
-      F.nodeType === G0.element && (et && et.__depth ? F.__depth = (F.__removalCount || 0) + et.__depth + 1 : F.__depth = 1), (F.__depth >= qn || F.__depth < 0 || Ul(F.__depth)) && ye(F), F.content instanceof o && (F.content.__depth = F.__depth, Xe(F.content)), oe(F);
+      const $e = A(F);
+      F.nodeType === G0.element && ($e && $e.__depth ? F.__depth = (F.__removalCount || 0) + $e.__depth + 1 : F.__depth = 1), (F.__depth >= qn || F.__depth < 0 || Ul(F.__depth)) && ye(F), F.content instanceof o && (F.content.__depth = F.__depth, Xe(F.content)), oe(F);
     }
     if (b0)
       return re;
     if (vt) {
       if (K0)
-        for ($e = H.call(D.ownerDocument); D.firstChild; )
-          $e.appendChild(D.firstChild);
+        for (Je = H.call(D.ownerDocument); D.firstChild; )
+          Je.appendChild(D.firstChild);
       else
-        $e = D;
-      return (he.shadowroot || he.shadowrootmode) && ($e = K.call(i, $e, !0)), $e;
+        Je = D;
+      return (he.shadowroot || he.shadowrootmode) && (Je = K.call(i, Je, !0)), Je;
     }
     let ot = ct ? D.outerHTML : D.innerHTML;
     return ct && Fe["!doctype"] && D.ownerDocument && D.ownerDocument.doctype && D.ownerDocument.doctype.name && ft(uo, D.ownerDocument.doctype.name) && (ot = "<!DOCTYPE " + D.ownerDocument.doctype.name + `>
-` + ot), it && lr([ce, pe, ve], (et) => {
-      ot = kn(ot, et, " ");
+` + ot), it && lr([ce, pe, ve], ($e) => {
+      ot = kn(ot, $e, " ");
     }), S && r0 ? S.createHTML(ot) : ot;
   }, n.setConfig = function() {
     let re = arguments.length > 0 && arguments[0] !== void 0 ? arguments[0] : {};
@@ -5922,7 +5922,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
           }
           const d = "math", X = "text", w = "main", E = "ams", De = "accent-token", te = "bin", lt = "close", w0 = "inner", oe = "mathord", Xe = "op-token", re = "open", z = "punct", D = "rel", ne = "spacing", F = "textord";
           h(d, w, D, "≡", "\\equiv", !0), h(d, w, D, "≺", "\\prec", !0), h(d, w, D, "≻", "\\succ", !0), h(d, w, D, "∼", "\\sim", !0), h(d, w, D, "⊥", "\\perp"), h(d, w, D, "⪯", "\\preceq", !0), h(d, w, D, "⪰", "\\succeq", !0), h(d, w, D, "≃", "\\simeq", !0), h(d, w, D, "∣", "\\mid", !0), h(d, w, D, "≪", "\\ll", !0), h(d, w, D, "≫", "\\gg", !0), h(d, w, D, "≍", "\\asymp", !0), h(d, w, D, "∥", "\\parallel"), h(d, w, D, "⋈", "\\bowtie", !0), h(d, w, D, "⌣", "\\smile", !0), h(d, w, D, "⊑", "\\sqsubseteq", !0), h(d, w, D, "⊒", "\\sqsupseteq", !0), h(d, w, D, "≐", "\\doteq", !0), h(d, w, D, "⌢", "\\frown", !0), h(d, w, D, "∋", "\\ni", !0), h(d, w, D, "∝", "\\propto", !0), h(d, w, D, "⊢", "\\vdash", !0), h(d, w, D, "⊣", "\\dashv", !0), h(d, w, D, "∋", "\\owns"), h(d, w, z, ".", "\\ldotp"), h(d, w, z, "⋅", "\\cdotp"), h(d, w, F, "#", "\\#"), h(X, w, F, "#", "\\#"), h(d, w, F, "&", "\\&"), h(X, w, F, "&", "\\&"), h(d, w, F, "ℵ", "\\aleph", !0), h(d, w, F, "∀", "\\forall", !0), h(d, w, F, "ℏ", "\\hbar", !0), h(d, w, F, "∃", "\\exists", !0), h(d, w, F, "∇", "\\nabla", !0), h(d, w, F, "♭", "\\flat", !0), h(d, w, F, "ℓ", "\\ell", !0), h(d, w, F, "♮", "\\natural", !0), h(d, w, F, "♣", "\\clubsuit", !0), h(d, w, F, "℘", "\\wp", !0), h(d, w, F, "♯", "\\sharp", !0), h(d, w, F, "♢", "\\diamondsuit", !0), h(d, w, F, "ℜ", "\\Re", !0), h(d, w, F, "♡", "\\heartsuit", !0), h(d, w, F, "ℑ", "\\Im", !0), h(d, w, F, "♠", "\\spadesuit", !0), h(d, w, F, "§", "\\S", !0), h(X, w, F, "§", "\\S"), h(d, w, F, "¶", "\\P", !0), h(X, w, F, "¶", "\\P"), h(d, w, F, "†", "\\dag"), h(X, w, F, "†", "\\dag"), h(X, w, F, "†", "\\textdagger"), h(d, w, F, "‡", "\\ddag"), h(X, w, F, "‡", "\\ddag"), h(X, w, F, "‡", "\\textdaggerdbl"), h(d, w, lt, "⎱", "\\rmoustache", !0), h(d, w, re, "⎰", "\\lmoustache", !0), h(d, w, lt, "⟯", "\\rgroup", !0), h(d, w, re, "⟮", "\\lgroup", !0), h(d, w, te, "∓", "\\mp", !0), h(d, w, te, "⊖", "\\ominus", !0), h(d, w, te, "⊎", "\\uplus", !0), h(d, w, te, "⊓", "\\sqcap", !0), h(d, w, te, "∗", "\\ast"), h(d, w, te, "⊔", "\\sqcup", !0), h(d, w, te, "◯", "\\bigcirc", !0), h(d, w, te, "∙", "\\bullet", !0), h(d, w, te, "‡", "\\ddagger"), h(d, w, te, "≀", "\\wr", !0), h(d, w, te, "⨿", "\\amalg"), h(d, w, te, "&", "\\And"), h(d, w, D, "⟵", "\\longleftarrow", !0), h(d, w, D, "⇐", "\\Leftarrow", !0), h(d, w, D, "⟸", "\\Longleftarrow", !0), h(d, w, D, "⟶", "\\longrightarrow", !0), h(d, w, D, "⇒", "\\Rightarrow", !0), h(d, w, D, "⟹", "\\Longrightarrow", !0), h(d, w, D, "↔", "\\leftrightarrow", !0), h(d, w, D, "⟷", "\\longleftrightarrow", !0), h(d, w, D, "⇔", "\\Leftrightarrow", !0), h(d, w, D, "⟺", "\\Longleftrightarrow", !0), h(d, w, D, "↦", "\\mapsto", !0), h(d, w, D, "⟼", "\\longmapsto", !0), h(d, w, D, "↗", "\\nearrow", !0), h(d, w, D, "↩", "\\hookleftarrow", !0), h(d, w, D, "↪", "\\hookrightarrow", !0), h(d, w, D, "↘", "\\searrow", !0), h(d, w, D, "↼", "\\leftharpoonup", !0), h(d, w, D, "⇀", "\\rightharpoonup", !0), h(d, w, D, "↙", "\\swarrow", !0), h(d, w, D, "↽", "\\leftharpoondown", !0), h(d, w, D, "⇁", "\\rightharpoondown", !0), h(d, w, D, "↖", "\\nwarrow", !0), h(d, w, D, "⇌", "\\rightleftharpoons", !0), h(d, E, D, "≮", "\\nless", !0), h(d, E, D, "", "\\@nleqslant"), h(d, E, D, "", "\\@nleqq"), h(d, E, D, "⪇", "\\lneq", !0), h(d, E, D, "≨", "\\lneqq", !0), h(d, E, D, "", "\\@lvertneqq"), h(d, E, D, "⋦", "\\lnsim", !0), h(d, E, D, "⪉", "\\lnapprox", !0), h(d, E, D, "⊀", "\\nprec", !0), h(d, E, D, "⋠", "\\npreceq", !0), h(d, E, D, "⋨", "\\precnsim", !0), h(d, E, D, "⪹", "\\precnapprox", !0), h(d, E, D, "≁", "\\nsim", !0), h(d, E, D, "", "\\@nshortmid"), h(d, E, D, "∤", "\\nmid", !0), h(d, E, D, "⊬", "\\nvdash", !0), h(d, E, D, "⊭", "\\nvDash", !0), h(d, E, D, "⋪", "\\ntriangleleft"), h(d, E, D, "⋬", "\\ntrianglelefteq", !0), h(d, E, D, "⊊", "\\subsetneq", !0), h(d, E, D, "", "\\@varsubsetneq"), h(d, E, D, "⫋", "\\subsetneqq", !0), h(d, E, D, "", "\\@varsubsetneqq"), h(d, E, D, "≯", "\\ngtr", !0), h(d, E, D, "", "\\@ngeqslant"), h(d, E, D, "", "\\@ngeqq"), h(d, E, D, "⪈", "\\gneq", !0), h(d, E, D, "≩", "\\gneqq", !0), h(d, E, D, "", "\\@gvertneqq"), h(d, E, D, "⋧", "\\gnsim", !0), h(d, E, D, "⪊", "\\gnapprox", !0), h(d, E, D, "⊁", "\\nsucc", !0), h(d, E, D, "⋡", "\\nsucceq", !0), h(d, E, D, "⋩", "\\succnsim", !0), h(d, E, D, "⪺", "\\succnapprox", !0), h(d, E, D, "≆", "\\ncong", !0), h(d, E, D, "", "\\@nshortparallel"), h(d, E, D, "∦", "\\nparallel", !0), h(d, E, D, "⊯", "\\nVDash", !0), h(d, E, D, "⋫", "\\ntriangleright"), h(d, E, D, "⋭", "\\ntrianglerighteq", !0), h(d, E, D, "", "\\@nsupseteqq"), h(d, E, D, "⊋", "\\supsetneq", !0), h(d, E, D, "", "\\@varsupsetneq"), h(d, E, D, "⫌", "\\supsetneqq", !0), h(d, E, D, "", "\\@varsupsetneqq"), h(d, E, D, "⊮", "\\nVdash", !0), h(d, E, D, "⪵", "\\precneqq", !0), h(d, E, D, "⪶", "\\succneqq", !0), h(d, E, D, "", "\\@nsubseteqq"), h(d, E, te, "⊴", "\\unlhd"), h(d, E, te, "⊵", "\\unrhd"), h(d, E, D, "↚", "\\nleftarrow", !0), h(d, E, D, "↛", "\\nrightarrow", !0), h(d, E, D, "⇍", "\\nLeftarrow", !0), h(d, E, D, "⇏", "\\nRightarrow", !0), h(d, E, D, "↮", "\\nleftrightarrow", !0), h(d, E, D, "⇎", "\\nLeftrightarrow", !0), h(d, E, D, "△", "\\vartriangle"), h(d, E, F, "ℏ", "\\hslash"), h(d, E, F, "▽", "\\triangledown"), h(d, E, F, "◊", "\\lozenge"), h(d, E, F, "Ⓢ", "\\circledS"), h(d, E, F, "®", "\\circledR"), h(X, E, F, "®", "\\circledR"), h(d, E, F, "∡", "\\measuredangle", !0), h(d, E, F, "∄", "\\nexists"), h(d, E, F, "℧", "\\mho"), h(d, E, F, "Ⅎ", "\\Finv", !0), h(d, E, F, "⅁", "\\Game", !0), h(d, E, F, "‵", "\\backprime"), h(d, E, F, "▲", "\\blacktriangle"), h(d, E, F, "▼", "\\blacktriangledown"), h(d, E, F, "■", "\\blacksquare"), h(d, E, F, "⧫", "\\blacklozenge"), h(d, E, F, "★", "\\bigstar"), h(d, E, F, "∢", "\\sphericalangle", !0), h(d, E, F, "∁", "\\complement", !0), h(d, E, F, "ð", "\\eth", !0), h(X, w, F, "ð", "ð"), h(d, E, F, "╱", "\\diagup"), h(d, E, F, "╲", "\\diagdown"), h(d, E, F, "□", "\\square"), h(d, E, F, "□", "\\Box"), h(d, E, F, "◊", "\\Diamond"), h(d, E, F, "¥", "\\yen", !0), h(X, E, F, "¥", "\\yen", !0), h(d, E, F, "✓", "\\checkmark", !0), h(X, E, F, "✓", "\\checkmark"), h(d, E, F, "ℶ", "\\beth", !0), h(d, E, F, "ℸ", "\\daleth", !0), h(d, E, F, "ℷ", "\\gimel", !0), h(d, E, F, "ϝ", "\\digamma", !0), h(d, E, F, "ϰ", "\\varkappa"), h(d, E, re, "┌", "\\@ulcorner", !0), h(d, E, lt, "┐", "\\@urcorner", !0), h(d, E, re, "└", "\\@llcorner", !0), h(d, E, lt, "┘", "\\@lrcorner", !0), h(d, E, D, "≦", "\\leqq", !0), h(d, E, D, "⩽", "\\leqslant", !0), h(d, E, D, "⪕", "\\eqslantless", !0), h(d, E, D, "≲", "\\lesssim", !0), h(d, E, D, "⪅", "\\lessapprox", !0), h(d, E, D, "≊", "\\approxeq", !0), h(d, E, te, "⋖", "\\lessdot"), h(d, E, D, "⋘", "\\lll", !0), h(d, E, D, "≶", "\\lessgtr", !0), h(d, E, D, "⋚", "\\lesseqgtr", !0), h(d, E, D, "⪋", "\\lesseqqgtr", !0), h(d, E, D, "≑", "\\doteqdot"), h(d, E, D, "≓", "\\risingdotseq", !0), h(d, E, D, "≒", "\\fallingdotseq", !0), h(d, E, D, "∽", "\\backsim", !0), h(d, E, D, "⋍", "\\backsimeq", !0), h(d, E, D, "⫅", "\\subseteqq", !0), h(d, E, D, "⋐", "\\Subset", !0), h(d, E, D, "⊏", "\\sqsubset", !0), h(d, E, D, "≼", "\\preccurlyeq", !0), h(d, E, D, "⋞", "\\curlyeqprec", !0), h(d, E, D, "≾", "\\precsim", !0), h(d, E, D, "⪷", "\\precapprox", !0), h(d, E, D, "⊲", "\\vartriangleleft"), h(d, E, D, "⊴", "\\trianglelefteq"), h(d, E, D, "⊨", "\\vDash", !0), h(d, E, D, "⊪", "\\Vvdash", !0), h(d, E, D, "⌣", "\\smallsmile"), h(d, E, D, "⌢", "\\smallfrown"), h(d, E, D, "≏", "\\bumpeq", !0), h(d, E, D, "≎", "\\Bumpeq", !0), h(d, E, D, "≧", "\\geqq", !0), h(d, E, D, "⩾", "\\geqslant", !0), h(d, E, D, "⪖", "\\eqslantgtr", !0), h(d, E, D, "≳", "\\gtrsim", !0), h(d, E, D, "⪆", "\\gtrapprox", !0), h(d, E, te, "⋗", "\\gtrdot"), h(d, E, D, "⋙", "\\ggg", !0), h(d, E, D, "≷", "\\gtrless", !0), h(d, E, D, "⋛", "\\gtreqless", !0), h(d, E, D, "⪌", "\\gtreqqless", !0), h(d, E, D, "≖", "\\eqcirc", !0), h(d, E, D, "≗", "\\circeq", !0), h(d, E, D, "≜", "\\triangleq", !0), h(d, E, D, "∼", "\\thicksim"), h(d, E, D, "≈", "\\thickapprox"), h(d, E, D, "⫆", "\\supseteqq", !0), h(d, E, D, "⋑", "\\Supset", !0), h(d, E, D, "⊐", "\\sqsupset", !0), h(d, E, D, "≽", "\\succcurlyeq", !0), h(d, E, D, "⋟", "\\curlyeqsucc", !0), h(d, E, D, "��", "\\succsim", !0), h(d, E, D, "⪸", "\\succapprox", !0), h(d, E, D, "⊳", "\\vartriangleright"), h(d, E, D, "⊵", "\\trianglerighteq"), h(d, E, D, "⊩", "\\Vdash", !0), h(d, E, D, "∣", "\\shortmid"), h(d, E, D, "∥", "\\shortparallel"), h(d, E, D, "≬", "\\between", !0), h(d, E, D, "⋔", "\\pitchfork", !0), h(d, E, D, "∝", "\\varpropto"), h(d, E, D, "◀", "\\blacktriangleleft"), h(d, E, D, "∴", "\\therefore", !0), h(d, E, D, "∍", "\\backepsilon"), h(d, E, D, "▶", "\\blacktriangleright"), h(d, E, D, "∵", "\\because", !0), h(d, E, D, "⋘", "\\llless"), h(d, E, D, "⋙", "\\gggtr"), h(d, E, te, "⊲", "\\lhd"), h(d, E, te, "⊳", "\\rhd"), h(d, E, D, "≂", "\\eqsim", !0), h(d, w, D, "⋈", "\\Join"), h(d, E, D, "≑", "\\Doteq", !0), h(d, E, te, "∔", "\\dotplus", !0), h(d, E, te, "∖", "\\smallsetminus"), h(d, E, te, "⋒", "\\Cap", !0), h(d, E, te, "⋓", "\\Cup", !0), h(d, E, te, "⩞", "\\doublebarwedge", !0), h(d, E, te, "⊟", "\\boxminus", !0), h(d, E, te, "⊞", "\\boxplus", !0), h(d, E, te, "⋇", "\\divideontimes", !0), h(d, E, te, "⋉", "\\ltimes", !0), h(d, E, te, "⋊", "\\rtimes", !0), h(d, E, te, "⋋", "\\leftthreetimes", !0), h(d, E, te, "⋌", "\\rightthreetimes", !0), h(d, E, te, "⋏", "\\curlywedge", !0), h(d, E, te, "⋎", "\\curlyvee", !0), h(d, E, te, "⊝", "\\circleddash", !0), h(d, E, te, "⊛", "\\circledast", !0), h(d, E, te, "⋅", "\\centerdot"), h(d, E, te, "⊺", "\\intercal", !0), h(d, E, te, "⋒", "\\doublecap"), h(d, E, te, "⋓", "\\doublecup"), h(d, E, te, "⊠", "\\boxtimes", !0), h(d, E, D, "⇢", "\\dashrightarrow", !0), h(d, E, D, "⇠", "\\dashleftarrow", !0), h(d, E, D, "⇇", "\\leftleftarrows", !0), h(d, E, D, "⇆", "\\leftrightarrows", !0), h(d, E, D, "⇚", "\\Lleftarrow", !0), h(d, E, D, "↞", "\\twoheadleftarrow", !0), h(d, E, D, "↢", "\\leftarrowtail", !0), h(d, E, D, "↫", "\\looparrowleft", !0), h(d, E, D, "⇋", "\\leftrightharpoons", !0), h(d, E, D, "↶", "\\curvearrowleft", !0), h(d, E, D, "↺", "\\circlearrowleft", !0), h(d, E, D, "↰", "\\Lsh", !0), h(d, E, D, "⇈", "\\upuparrows", !0), h(d, E, D, "↿", "\\upharpoonleft", !0), h(d, E, D, "⇃", "\\downharpoonleft", !0), h(d, w, D, "⊶", "\\origof", !0), h(d, w, D, "⊷", "\\imageof", !0), h(d, E, D, "⊸", "\\multimap", !0), h(d, E, D, "↭", "\\leftrightsquigarrow", !0), h(d, E, D, "⇉", "\\rightrightarrows", !0), h(d, E, D, "⇄", "\\rightleftarrows", !0), h(d, E, D, "↠", "\\twoheadrightarrow", !0), h(d, E, D, "↣", "\\rightarrowtail", !0), h(d, E, D, "↬", "\\looparrowright", !0), h(d, E, D, "↷", "\\curvearrowright", !0), h(d, E, D, "↻", "\\circlearrowright", !0), h(d, E, D, "↱", "\\Rsh", !0), h(d, E, D, "⇊", "\\downdownarrows", !0), h(d, E, D, "↾", "\\upharpoonright", !0), h(d, E, D, "⇂", "\\downharpoonright", !0), h(d, E, D, "⇝", "\\rightsquigarrow", !0), h(d, E, D, "⇝", "\\leadsto"), h(d, E, D, "⇛", "\\Rrightarrow", !0), h(d, E, D, "↾", "\\restriction"), h(d, w, F, "‘", "`"), h(d, w, F, "$", "\\$"), h(X, w, F, "$", "\\$"), h(X, w, F, "$", "\\textdollar"), h(d, w, F, "%", "\\%"), h(X, w, F, "%", "\\%"), h(d, w, F, "_", "\\_"), h(X, w, F, "_", "\\_"), h(X, w, F, "_", "\\textunderscore"), h(d, w, F, "∠", "\\angle", !0), h(d, w, F, "∞", "\\infty", !0), h(d, w, F, "′", "\\prime"), h(d, w, F, "△", "\\triangle"), h(d, w, F, "Γ", "\\Gamma", !0), h(d, w, F, "Δ", "\\Delta", !0), h(d, w, F, "Θ", "\\Theta", !0), h(d, w, F, "Λ", "\\Lambda", !0), h(d, w, F, "Ξ", "\\Xi", !0), h(d, w, F, "Π", "\\Pi", !0), h(d, w, F, "Σ", "\\Sigma", !0), h(d, w, F, "Υ", "\\Upsilon", !0), h(d, w, F, "Φ", "\\Phi", !0), h(d, w, F, "Ψ", "\\Psi", !0), h(d, w, F, "Ω", "\\Omega", !0), h(d, w, F, "A", "Α"), h(d, w, F, "B", "Β"), h(d, w, F, "E", "Ε"), h(d, w, F, "Z", "Ζ"), h(d, w, F, "H", "Η"), h(d, w, F, "I", "Ι"), h(d, w, F, "K", "Κ"), h(d, w, F, "M", "Μ"), h(d, w, F, "N", "Ν"), h(d, w, F, "O", "Ο"), h(d, w, F, "P", "Ρ"), h(d, w, F, "T", "Τ"), h(d, w, F, "X", "Χ"), h(d, w, F, "¬", "\\neg", !0), h(d, w, F, "¬", "\\lnot"), h(d, w, F, "⊤", "\\top"), h(d, w, F, "⊥", "\\bot"), h(d, w, F, "∅", "\\emptyset"), h(d, E, F, "∅", "\\varnothing"), h(d, w, oe, "α", "\\alpha", !0), h(d, w, oe, "β", "\\beta", !0), h(d, w, oe, "γ", "\\gamma", !0), h(d, w, oe, "δ", "\\delta", !0), h(d, w, oe, "ϵ", "\\epsilon", !0), h(d, w, oe, "ζ", "\\zeta", !0), h(d, w, oe, "η", "\\eta", !0), h(d, w, oe, "θ", "\\theta", !0), h(d, w, oe, "ι", "\\iota", !0), h(d, w, oe, "κ", "\\kappa", !0), h(d, w, oe, "λ", "\\lambda", !0), h(d, w, oe, "μ", "\\mu", !0), h(d, w, oe, "ν", "\\nu", !0), h(d, w, oe, "ξ", "\\xi", !0), h(d, w, oe, "ο", "\\omicron", !0), h(d, w, oe, "π", "\\pi", !0), h(d, w, oe, "ρ", "\\rho", !0), h(d, w, oe, "σ", "\\sigma", !0), h(d, w, oe, "τ", "\\tau", !0), h(d, w, oe, "υ", "\\upsilon", !0), h(d, w, oe, "ϕ", "\\phi", !0), h(d, w, oe, "χ", "\\chi", !0), h(d, w, oe, "ψ", "\\psi", !0), h(d, w, oe, "ω", "\\omega", !0), h(d, w, oe, "ε", "\\varepsilon", !0), h(d, w, oe, "ϑ", "\\vartheta", !0), h(d, w, oe, "ϖ", "\\varpi", !0), h(d, w, oe, "ϱ", "\\varrho", !0), h(d, w, oe, "ς", "\\varsigma", !0), h(d, w, oe, "φ", "\\varphi", !0), h(d, w, te, "∗", "*", !0), h(d, w, te, "+", "+"), h(d, w, te, "−", "-", !0), h(d, w, te, "⋅", "\\cdot", !0), h(d, w, te, "∘", "\\circ", !0), h(d, w, te, "÷", "\\div", !0), h(d, w, te, "±", "\\pm", !0), h(d, w, te, "×", "\\times", !0), h(d, w, te, "∩", "\\cap", !0), h(d, w, te, "∪", "\\cup", !0), h(d, w, te, "∖", "\\setminus", !0), h(d, w, te, "∧", "\\land"), h(d, w, te, "∨", "\\lor"), h(d, w, te, "∧", "\\wedge", !0), h(d, w, te, "∨", "\\vee", !0), h(d, w, F, "√", "\\surd"), h(d, w, re, "⟨", "\\langle", !0), h(d, w, re, "∣", "\\lvert"), h(d, w, re, "∥", "\\lVert"), h(d, w, lt, "?", "?"), h(d, w, lt, "!", "!"), h(d, w, lt, "⟩", "\\rangle", !0), h(d, w, lt, "∣", "\\rvert"), h(d, w, lt, "∥", "\\rVert"), h(d, w, D, "=", "="), h(d, w, D, ":", ":"), h(d, w, D, "≈", "\\approx", !0), h(d, w, D, "≅", "\\cong", !0), h(d, w, D, "≥", "\\ge"), h(d, w, D, "≥", "\\geq", !0), h(d, w, D, "←", "\\gets"), h(d, w, D, ">", "\\gt", !0), h(d, w, D, "∈", "\\in", !0), h(d, w, D, "", "\\@not"), h(d, w, D, "⊂", "\\subset", !0), h(d, w, D, "⊃", "\\supset", !0), h(d, w, D, "⊆", "\\subseteq", !0), h(d, w, D, "⊇", "\\supseteq", !0), h(d, E, D, "⊈", "\\nsubseteq", !0), h(d, E, D, "⊉", "\\nsupseteq", !0), h(d, w, D, "⊨", "\\models"), h(d, w, D, "←", "\\leftarrow", !0), h(d, w, D, "≤", "\\le"), h(d, w, D, "≤", "\\leq", !0), h(d, w, D, "<", "\\lt", !0), h(d, w, D, "→", "\\rightarrow", !0), h(d, w, D, "→", "\\to"), h(d, E, D, "≱", "\\ngeq", !0), h(d, E, D, "≰", "\\nleq", !0), h(d, w, ne, " ", "\\ "), h(d, w, ne, " ", "\\space"), h(d, w, ne, " ", "\\nobreakspace"), h(X, w, ne, " ", "\\ "), h(X, w, ne, " ", " "), h(X, w, ne, " ", "\\space"), h(X, w, ne, " ", "\\nobreakspace"), h(d, w, ne, null, "\\nobreak"), h(d, w, ne, null, "\\allowbreak"), h(d, w, z, ",", ","), h(d, w, z, ";", ";"), h(d, E, te, "⊼", "\\barwedge", !0), h(d, E, te, "⊻", "\\veebar", !0), h(d, w, te, "⊙", "\\odot", !0), h(d, w, te, "⊕", "\\oplus", !0), h(d, w, te, "⊗", "\\otimes", !0), h(d, w, F, "∂", "\\partial", !0), h(d, w, te, "⊘", "\\oslash", !0), h(d, E, te, "⊚", "\\circledcirc", !0), h(d, E, te, "⊡", "\\boxdot", !0), h(d, w, te, "△", "\\bigtriangleup"), h(d, w, te, "▽", "\\bigtriangledown"), h(d, w, te, "†", "\\dagger"), h(d, w, te, "⋄", "\\diamond"), h(d, w, te, "⋆", "\\star"), h(d, w, te, "◃", "\\triangleleft"), h(d, w, te, "▹", "\\triangleright"), h(d, w, re, "{", "\\{"), h(X, w, F, "{", "\\{"), h(X, w, F, "{", "\\textbraceleft"), h(d, w, lt, "}", "\\}"), h(X, w, F, "}", "\\}"), h(X, w, F, "}", "\\textbraceright"), h(d, w, re, "{", "\\lbrace"), h(d, w, lt, "}", "\\rbrace"), h(d, w, re, "[", "\\lbrack", !0), h(X, w, F, "[", "\\lbrack", !0), h(d, w, lt, "]", "\\rbrack", !0), h(X, w, F, "]", "\\rbrack", !0), h(d, w, re, "(", "\\lparen", !0), h(d, w, lt, ")", "\\rparen", !0), h(X, w, F, "<", "\\textless", !0), h(X, w, F, ">", "\\textgreater", !0), h(d, w, re, "⌊", "\\lfloor", !0), h(d, w, lt, "⌋", "\\rfloor", !0), h(d, w, re, "⌈", "\\lceil", !0), h(d, w, lt, "⌉", "\\rceil", !0), h(d, w, F, "\\", "\\backslash"), h(d, w, F, "∣", "|"), h(d, w, F, "∣", "\\vert"), h(X, w, F, "|", "\\textbar", !0), h(d, w, F, "∥", "\\|"), h(d, w, F, "∥", "\\Vert"), h(X, w, F, "∥", "\\textbardbl"), h(X, w, F, "~", "\\textasciitilde"), h(X, w, F, "\\", "\\textbackslash"), h(X, w, F, "^", "\\textasciicircum"), h(d, w, D, "↑", "\\uparrow", !0), h(d, w, D, "⇑", "\\Uparrow", !0), h(d, w, D, "↓", "\\downarrow", !0), h(d, w, D, "⇓", "\\Downarrow", !0), h(d, w, D, "↕", "\\updownarrow", !0), h(d, w, D, "⇕", "\\Updownarrow", !0), h(d, w, Xe, "∐", "\\coprod"), h(d, w, Xe, "⋁", "\\bigvee"), h(d, w, Xe, "⋀", "\\bigwedge"), h(d, w, Xe, "⨄", "\\biguplus"), h(d, w, Xe, "⋂", "\\bigcap"), h(d, w, Xe, "⋃", "\\bigcup"), h(d, w, Xe, "∫", "\\int"), h(d, w, Xe, "∫", "\\intop"), h(d, w, Xe, "∬", "\\iint"), h(d, w, Xe, "∭", "\\iiint"), h(d, w, Xe, "∏", "\\prod"), h(d, w, Xe, "∑", "\\sum"), h(d, w, Xe, "⨂", "\\bigotimes"), h(d, w, Xe, "⨁", "\\bigoplus"), h(d, w, Xe, "⨀", "\\bigodot"), h(d, w, Xe, "∮", "\\oint"), h(d, w, Xe, "∯", "\\oiint"), h(d, w, Xe, "∰", "\\oiiint"), h(d, w, Xe, "⨆", "\\bigsqcup"), h(d, w, Xe, "∫", "\\smallint"), h(X, w, w0, "…", "\\textellipsis"), h(d, w, w0, "…", "\\mathellipsis"), h(X, w, w0, "…", "\\ldots", !0), h(d, w, w0, "…", "\\ldots", !0), h(d, w, w0, "⋯", "\\@cdots", !0), h(d, w, w0, "⋱", "\\ddots", !0), h(d, w, F, "⋮", "\\varvdots"), h(d, w, De, "ˊ", "\\acute"), h(d, w, De, "ˋ", "\\grave"), h(d, w, De, "¨", "\\ddot"), h(d, w, De, "~", "\\tilde"), h(d, w, De, "ˉ", "\\bar"), h(d, w, De, "˘", "\\breve"), h(d, w, De, "ˇ", "\\check"), h(d, w, De, "^", "\\hat"), h(d, w, De, "⃗", "\\vec"), h(d, w, De, "˙", "\\dot"), h(d, w, De, "˚", "\\mathring"), h(d, w, oe, "", "\\@imath"), h(d, w, oe, "", "\\@jmath"), h(d, w, F, "ı", "ı"), h(d, w, F, "ȷ", "ȷ"), h(X, w, F, "ı", "\\i", !0), h(X, w, F, "ȷ", "\\j", !0), h(X, w, F, "ß", "\\ss", !0), h(X, w, F, "æ", "\\ae", !0), h(X, w, F, "œ", "\\oe", !0), h(X, w, F, "ø", "\\o", !0), h(X, w, F, "Æ", "\\AE", !0), h(X, w, F, "Œ", "\\OE", !0), h(X, w, F, "Ø", "\\O", !0), h(X, w, De, "ˊ", "\\'"), h(X, w, De, "ˋ", "\\`"), h(X, w, De, "ˆ", "\\^"), h(X, w, De, "˜", "\\~"), h(X, w, De, "ˉ", "\\="), h(X, w, De, "˘", "\\u"), h(X, w, De, "˙", "\\."), h(X, w, De, "¸", "\\c"), h(X, w, De, "˚", "\\r"), h(X, w, De, "ˇ", "\\v"), h(X, w, De, "¨", '\\"'), h(X, w, De, "˝", "\\H"), h(X, w, De, "◯", "\\textcircled");
-          const $e = {
+          const Je = {
             "--": !0,
             "---": !0,
             "``": !0,
@@ -5939,15 +5939,15 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
             const e = ot.charAt(t);
             h(X, w, F, e, e);
           }
-          const et = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz";
-          for (let t = 0; t < et.length; t++) {
-            const e = et.charAt(t);
+          const $e = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz";
+          for (let t = 0; t < $e.length; t++) {
+            const e = $e.charAt(t);
             h(d, w, oe, e, e), h(X, w, F, e, e);
           }
           h(d, E, F, "C", "ℂ"), h(X, E, F, "C", "ℂ"), h(d, E, F, "H", "ℍ"), h(X, E, F, "H", "ℍ"), h(d, E, F, "N", "ℕ"), h(X, E, F, "N", "ℕ"), h(d, E, F, "P", "ℙ"), h(X, E, F, "P", "ℙ"), h(d, E, F, "Q", "ℚ"), h(X, E, F, "Q", "ℚ"), h(d, E, F, "R", "ℝ"), h(X, E, F, "R", "ℝ"), h(d, E, F, "Z", "ℤ"), h(X, E, F, "Z", "ℤ"), h(d, w, oe, "h", "ℎ"), h(X, w, oe, "h", "ℎ");
           let ue = "";
-          for (let t = 0; t < et.length; t++) {
-            const e = et.charAt(t);
+          for (let t = 0; t < $e.length; t++) {
+            const e = $e.charAt(t);
             ue = String.fromCharCode(55349, 56320 + t), h(d, w, oe, e, ue), h(X, w, F, e, ue), ue = String.fromCharCode(55349, 56372 + t), h(d, w, oe, e, ue), h(X, w, F, e, ue), ue = String.fromCharCode(55349, 56424 + t), h(d, w, oe, e, ue), h(X, w, F, e, ue), ue = String.fromCharCode(55349, 56580 + t), h(d, w, oe, e, ue), h(X, w, F, e, ue), ue = String.fromCharCode(55349, 56684 + t), h(d, w, oe, e, ue), h(X, w, F, e, ue), ue = String.fromCharCode(55349, 56736 + t), h(d, w, oe, e, ue), h(X, w, F, e, ue), ue = String.fromCharCode(55349, 56788 + t), h(d, w, oe, e, ue), h(X, w, F, e, ue), ue = String.fromCharCode(55349, 56840 + t), h(d, w, oe, e, ue), h(X, w, F, e, ue), ue = String.fromCharCode(55349, 56944 + t), h(d, w, oe, e, ue), h(X, w, F, e, ue), t < 26 && (ue = String.fromCharCode(55349, 56632 + t), h(d, w, oe, e, ue), h(X, w, F, e, ue), ue = String.fromCharCode(55349, 56476 + t), h(d, w, oe, e, ue), h(X, w, F, e, ue));
           }
           ue = "𝕜", h(d, w, oe, "k", ue), h(X, w, F, "k", ue);
@@ -5955,9 +5955,9 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
             const e = t.toString();
             ue = String.fromCharCode(55349, 57294 + t), h(d, w, oe, e, ue), h(X, w, F, e, ue), ue = String.fromCharCode(55349, 57314 + t), h(d, w, oe, e, ue), h(X, w, F, e, ue), ue = String.fromCharCode(55349, 57324 + t), h(d, w, oe, e, ue), h(X, w, F, e, ue), ue = String.fromCharCode(55349, 57334 + t), h(d, w, oe, e, ue), h(X, w, F, e, ue);
           }
-          const tt = "ÐÞþ";
-          for (let t = 0; t < tt.length; t++) {
-            const e = tt.charAt(t);
+          const et = "ÐÞþ";
+          for (let t = 0; t < et.length; t++) {
+            const e = et.charAt(t);
             h(d, w, oe, e, e), h(X, w, F, e, e);
           }
           const P0 = [
@@ -6086,7 +6086,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
                 g ? (N = ai[_].fontName, R = [_]) : (N = Gn(_, e.fontWeight, e.fontShape), R = [_, e.fontWeight, e.fontShape]);
               if (Un(c, N, l).metrics)
                 return Zt(c, N, l, e, m.concat(R));
-              if ($e.hasOwnProperty(c) && N.slice(0, 10) === "Typewriter") {
+              if (Je.hasOwnProperty(c) && N.slice(0, 10) === "Typewriter") {
                 const P = [];
                 for (let Y = 0; Y < c.length; Y++)
                   P.push(Zt(c[Y], N, l, e, m.concat(R)));
@@ -6482,7 +6482,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
             mclose: "mclose",
             mpunct: "mpunct",
             minner: "minner"
-          }, nt = function(t, e, r, l) {
+          }, tt = function(t, e, r, l) {
             l === void 0 && (l = [null, null]);
             const c = [];
             for (let T = 0; T < t.length; T++) {
@@ -6572,7 +6572,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
           function qr(t, e) {
             let r = null;
             t.length === 1 && t[0].type === "tag" && (r = t[0].tag, t = t[0].body);
-            const l = nt(t, e, "root");
+            const l = tt(t, e, "root");
             let c;
             l.length === 2 && l[1].hasClass("tag") && (c = l.pop());
             const m = [];
@@ -6587,7 +6587,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
                 l[T].hasClass("newline") && (g.pop(), g.length > 0 && (m.push(Xn(g, e)), g = []), m.push(l[T]));
             g.length > 0 && m.push(Xn(g, e));
             let _;
-            r ? (_ = Xn(nt(r, e, !0)), _.classes = ["tag"], m.push(_)) : c && m.push(c);
+            r ? (_ = Xn(tt(r, e, !0)), _.classes = ["tag"], m.push(_)) : c && m.push(c);
             const v = _0(["katex-html"], m);
             if (v.setAttribute("aria-hidden", "true"), _) {
               const T = _.children[0];
@@ -6709,7 +6709,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
             newDocumentFragment: hi
           };
           const qt = function(t, e, r) {
-            return ye[e][t] && ye[e][t].replace && t.charCodeAt(0) !== 55349 && !($e.hasOwnProperty(t) && r && (r.fontFamily && r.fontFamily.slice(4, 6) === "tt" || r.font && r.font.slice(4, 6) === "tt")) && (t = ye[e][t].replace), new Z.TextNode(t);
+            return ye[e][t] && ye[e][t].replace && t.charCodeAt(0) !== 55349 && !(Je.hasOwnProperty(t) && r && (r.fontFamily && r.fontFamily.slice(4, 6) === "tt" || r.font && r.font.slice(4, 6) === "tt")) && (t = ye[e][t].replace), new Z.TextNode(t);
           }, Pr = function(t) {
             return t.length === 1 ? t[0] : new Z.MathNode("mrow", t);
           }, Hr = function(t, e) {
@@ -7303,7 +7303,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
           });
           const wu = L.makeSpan;
           function gi(t, e) {
-            const r = nt(t.body, e, !0);
+            const r = tt(t.body, e, !0);
             return wu([t.mclass], r, e);
           }
           function bi(t, e) {
@@ -7417,7 +7417,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
               };
             },
             htmlBuilder(t, e) {
-              const r = nt(t.body, e, !0), l = L.makeSpan([t.mclass], r, e);
+              const r = tt(t.body, e, !0), l = L.makeSpan([t.mclass], r, e);
               return l.style.textShadow = "0.02em 0.01em 0.04px", l;
             },
             mathmlBuilder(t, e) {
@@ -7638,7 +7638,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
             }
           });
           const _i = (t, e) => {
-            const r = nt(t.body, e.withColor(t.color), !1);
+            const r = tt(t.body, e.withColor(t.color), !1);
             return L.makeFragment(r);
           }, ki = (t, e) => {
             const r = _t(t.body, e.withColor(t.color)), l = new Z.MathNode("mstyle", r);
@@ -7919,7 +7919,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
               const Ye = gn(_, P, c);
               Te = Ye.height + Ye.depth, qe = 2;
             }
-            const ht = se + xe + Te, rt = Math.max(0, Math.ceil((e - ht) / (qe * ke))), Ht = ht + rt * qe * ke;
+            const ht = se + xe + Te, nt = Math.max(0, Math.ceil((e - ht) / (qe * ke))), Ht = ht + nt * qe * ke;
             let tn = l.fontMetrics().axisHeight;
             r && (tn *= l.sizeMultiplier);
             const Se = Ht / 2 - tn, ze = [];
@@ -8229,7 +8229,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
             },
             htmlBuilder: (t, e) => {
               Bi(t);
-              const r = nt(t.body, e, !0, ["mopen", "mclose"]);
+              const r = tt(t.body, e, !0, ["mopen", "mclose"]);
               let l = 0, c = 0, m = !1;
               for (let v = 0; v < r.length; v++)
                 r[v].isMiddle ? m = !0 : (l = Math.max(r[v].height, l), c = Math.max(r[v].depth, c));
@@ -8649,8 +8649,8 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
                 break;
               } else if (ht === "\\\\") {
                 t.consume();
-                let rt;
-                t.gullet.future().text !== " " && (rt = t.parseSizeGroup(!0)), ae.push(rt ? rt.value : null), Te(), ke.push(Ii(t)), Y = [], se.push(Y), xe();
+                let nt;
+                t.gullet.future().text !== " " && (nt = t.parseSizeGroup(!0)), ae.push(nt ? nt.value : null), Te(), ke.push(Ii(t)), Y = [], se.push(Y), xe();
               } else
                 throw new o("Expected & or \\\\ or \\cr or \\end", t.nextToken);
             }
@@ -8710,13 +8710,13 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
               Ye && (Ve = Ce(Ye, e), Ve > 0 && (Ve += ke, Pe < Ve && (Pe = Ve), Ve = 0)), t.addJot && (Pe += Y), Ue.height = ze, Ue.depth = Pe, ge += ze, Ue.pos = ge, ge += Pe + Ve, _[r] = Ue, xe(m[r + 1]);
             }
             const Te = ge / 2 + e.fontMetrics().axisHeight, qe = t.cols || [], ht = [];
-            let rt, Ht;
+            let nt, Ht;
             const tn = [];
             if (t.tags && t.tags.some((Se) => Se))
               for (r = 0; r < c; ++r) {
                 const Se = _[r], ze = Se.pos - Te, Pe = t.tags[r];
                 let Ue;
-                Pe === !0 ? Ue = L.makeSpan(["eqn-num"], [], e) : Pe === !1 ? Ue = L.makeSpan([], [], e) : Ue = L.makeSpan([], nt(Pe, e, !0), e), Ue.depth = Se.depth, Ue.height = Se.height, tn.push({
+                Pe === !0 ? Ue = L.makeSpan(["eqn-num"], [], e) : Pe === !1 ? Ue = L.makeSpan([], [], e) : Ue = L.makeSpan([], tt(Pe, e, !0), e), Ue.depth = Se.depth, Ue.height = Se.height, tn.push({
                   type: "elem",
                   elem: Ue,
                   shift: ze
@@ -8731,7 +8731,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
             ) {
               let Se = qe[Ht] || {}, ze = !0;
               for (; Se.type === "separator"; ) {
-                if (ze || (rt = L.makeSpan(["arraycolsep"], []), rt.style.width = Q(e.fontMetrics().doubleRuleSep), ht.push(rt)), Se.separator === "|" || Se.separator === ":") {
+                if (ze || (nt = L.makeSpan(["arraycolsep"], []), nt.style.width = Q(e.fontMetrics().doubleRuleSep), ht.push(nt)), Se.separator === "|" || Se.separator === ":") {
                   const Ye = Se.separator === "|" ? "solid" : "dashed", Ve = L.makeSpan(["vertical-separator"], [], e);
                   Ve.style.height = Q(ge), Ve.style.borderRightWidth = Q(T), Ve.style.borderRightStyle = Ye, Ve.style.margin = "0 " + Q(-T / 2);
                   const Ut = ge - Te;
@@ -8743,7 +8743,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
               if (l >= g)
                 continue;
               let Pe;
-              (l > 0 || t.hskipBeforeAndAfter) && (Pe = U.deflt(Se.pregap, R), Pe !== 0 && (rt = L.makeSpan(["arraycolsep"], []), rt.style.width = Q(Pe), ht.push(rt)));
+              (l > 0 || t.hskipBeforeAndAfter) && (Pe = U.deflt(Se.pregap, R), Pe !== 0 && (nt = L.makeSpan(["arraycolsep"], []), nt.style.width = Q(Pe), ht.push(nt)));
               let Ue = [];
               for (r = 0; r < c; ++r) {
                 const Ye = _[r], Ve = Ye[l];
@@ -8759,7 +8759,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
               Ue = L.makeVList({
                 positionType: "individualShift",
                 children: Ue
-              }, e), Ue = L.makeSpan(["col-align-" + (Se.align || "c")], [Ue]), ht.push(Ue), (l < g - 1 || t.hskipBeforeAndAfter) && (Pe = U.deflt(Se.postgap, R), Pe !== 0 && (rt = L.makeSpan(["arraycolsep"], []), rt.style.width = Q(Pe), ht.push(rt)));
+              }, e), Ue = L.makeSpan(["col-align-" + (Se.align || "c")], [Ue]), ht.push(Ue), (l < g - 1 || t.hskipBeforeAndAfter) && (Pe = U.deflt(Se.postgap, R), Pe !== 0 && (nt = L.makeSpan(["arraycolsep"], []), nt.style.width = Q(Pe), ht.push(nt)));
             }
             if (_ = L.makeSpan(["mtable"], ht), v.length > 0) {
               const Se = L.makeLineSpan("hline", e, T), ze = L.makeLineSpan("hdashline", e, T), Pe = [{
@@ -9709,7 +9709,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
               } : r.formatUnsupportedCmd("\\href");
             },
             htmlBuilder: (t, e) => {
-              const r = nt(t.body, e, !1);
+              const r = tt(t.body, e, !1);
               return L.makeAnchor(t.href, [], r, e);
             },
             mathmlBuilder: (t, e) => {
@@ -9776,7 +9776,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
               };
             },
             htmlBuilder(t, e) {
-              const r = nt(t.body, e, !1);
+              const r = tt(t.body, e, !1);
               return L.makeFragment(r);
             },
             mathmlBuilder(t, e) {
@@ -9844,7 +9844,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
               } : r.formatUnsupportedCmd(l);
             },
             htmlBuilder: (t, e) => {
-              const r = nt(t.body, e, !1), l = ["enclosing"];
+              const r = tt(t.body, e, !1), l = ["enclosing"];
               t.attributes.class && l.push(...t.attributes.class.trim().split(/\s+/));
               const c = L.makeSpan(l, r, e);
               for (const m in t.attributes)
@@ -9871,7 +9871,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
               };
             },
             htmlBuilder: (t, e) => {
-              const r = nt(t.html, e, !1);
+              const r = tt(t.html, e, !1);
               return L.makeFragment(r);
             },
             mathmlBuilder: (t, e) => C0(t.mathml, e)
@@ -10120,7 +10120,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
               };
             },
             htmlBuilder: (t, e) => {
-              const r = ji(t, e), l = nt(r, e, !1);
+              const r = ji(t, e), l = tt(r, e, !1);
               return L.makeFragment(l);
             },
             mathmlBuilder: (t, e) => {
@@ -10251,7 +10251,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
                 }, e), m.name = "\\" + P, v.classes.unshift("mop"), v.italic = Y;
               }
             } else if (m.body) {
-              const R = nt(m.body, e, !0);
+              const R = tt(m.body, e, !0);
               R.length === 1 && R[0] instanceof wt ? (v = R[0], v.classes[0] = "mop") : v = L.makeSpan(["mop"], R, e);
             } else {
               const R = [];
@@ -10420,7 +10420,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
                   mode: T.mode,
                   text: N
                 } : T;
-              }), v = nt(_, e.withFont("mathrm"), !0);
+              }), v = tt(_, e.withFont("mathrm"), !0);
               for (let T = 0; T < v.length; T++) {
                 const N = v[T];
                 N instanceof wt && (N.text = N.text.replace(/\u2212/, "-").replace(/\u2217/, "*"));
@@ -10488,7 +10488,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
           }), k("\\operatorname", "\\@ifstar\\operatornamewithlimits\\operatorname@"), U0({
             type: "ordgroup",
             htmlBuilder(t, e) {
-              return t.semisimple ? L.makeFragment(nt(t.body, e, !1)) : L.makeSpan(["mord"], nt(t.body, e, !0), e);
+              return t.semisimple ? L.makeFragment(tt(t.body, e, !1)) : L.makeSpan(["mord"], tt(t.body, e, !0), e);
             },
             mathmlBuilder(t, e) {
               return C0(t.body, e, !0);
@@ -10554,7 +10554,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
               };
             },
             htmlBuilder: (t, e) => {
-              const r = nt(t.body, e.withPhantom(), !1);
+              const r = tt(t.body, e.withPhantom(), !1);
               return L.makeFragment(r);
             },
             mathmlBuilder: (t, e) => {
@@ -10706,7 +10706,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
             }
           });
           function Ki(t, e, r) {
-            const l = nt(t, e, !1), c = e.sizeMultiplier / r.sizeMultiplier;
+            const l = tt(t, e, !1), c = e.sizeMultiplier / r.sizeMultiplier;
             for (let m = 0; m < l.length; m++) {
               const g = l[m].classes.indexOf("sizing");
               g < 0 ? Array.prototype.push.apply(l[m].classes, e.sizingClasses(r)) : l[m].classes[g + 1] === "reset-size" + e.size && (l[m].classes[g + 1] = "reset-size" + r.size), l[m].height *= c, l[m].depth *= c;
@@ -10959,8 +10959,8 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
                 const qe = 4 * T.defaultRuleThickness;
                 if (N - _.depth - (v.height - R) < qe) {
                   R = qe - (N - _.depth) + v.height;
-                  const rt = 0.8 * T.xHeight - (N - _.depth);
-                  rt > 0 && (N += rt, R -= rt);
+                  const nt = 0.8 * T.xHeight - (N - _.depth);
+                  nt > 0 && (N += nt, R -= nt);
                 }
                 const ht = [{
                   type: "elem",
@@ -11173,7 +11173,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
               };
             },
             htmlBuilder(t, e) {
-              const r = rl(t, e), l = nt(t.body, r, !0);
+              const r = rl(t, e), l = tt(t.body, r, !0);
               return L.makeSpan(["mord", "text"], l, r);
             },
             mathmlBuilder(t, e) {
@@ -12977,7 +12977,7 @@ l0,-` + (e + 144) + `c-2,-159.3,-10,-310.7,-24,-454c-53.3,-528,-210,-949.7,
               l && (r = r.substring(0, l.index), r === "i" ? r = "ı" : r === "j" && (r = "ȷ"));
               let c;
               if (ye[this.mode][r]) {
-                this.settings.strict && this.mode === "math" && tt.indexOf(r) >= 0 && this.settings.reportNonstrict("unicodeTextInMathMode", 'Latin-1/Unicode text character "' + r[0] + '" used in math mode', e);
+                this.settings.strict && this.mode === "math" && et.indexOf(r) >= 0 && this.settings.reportNonstrict("unicodeTextInMathMode", 'Latin-1/Unicode text character "' + r[0] + '" used in math mode', e);
                 const m = ye[this.mode][r].group, g = Et.range(e);
                 let _;
                 if (Pn.hasOwnProperty(m)) {
@@ -18269,7 +18269,7 @@ const {
   set_style: An,
   space: si,
   text: Vf,
-  toggle_class: Je,
+  toggle_class: rt,
   transition_in: _e,
   transition_out: Me
 } = window.__gradio__svelte__internal, { beforeUpdate: Wf, afterUpdate: jf, createEventDispatcher: Xf } = window.__gradio__svelte__internal;
@@ -18498,14 +18498,14 @@ function Ua(a) {
         W[A].c();
       Be(u, "data-testid", o = /*role*/
       a[39]), Be(u, "dir", f = /*rtl*/
-      a[5] ? "rtl" : "ltr"), Be(u, "class", "svelte-kqrm1b"), Je(
+      a[5] ? "rtl" : "ltr"), Be(u, "class", "svelte-kqrm1b"), rt(
         u,
         "latest",
         /*i*/
         a[38] === /*groupedMessages*/
         a[35].length - 1
-      ), Je(u, "message-markdown-disabled", !/*render_markdown*/
-      a[9]), Je(
+      ), rt(u, "message-markdown-disabled", !/*render_markdown*/
+      a[9]), rt(
         u,
         "selectable",
         /*selectable*/
@@ -18516,23 +18516,23 @@ function Ua(a) {
         /*rtl*/
         a[5] ? "right" : "left"
       ), Be(i, "class", p = "message " + /*role*/
-      (a[39] === "user" ? "user" : "bot") + " svelte-kqrm1b"), Je(
+      (a[39] === "user" ? "user" : "bot") + " svelte-kqrm1b"), rt(
         i,
         "message-fit",
         /*layout*/
         a[12] === "bubble" && !/*bubble_full_width*/
         a[8]
-      ), Je(
+      ), rt(
         i,
         "panel-full-width",
         /*layout*/
         a[12] === "panel"
-      ), Je(
+      ), rt(
         i,
         "message-bubble-border",
         /*layout*/
         a[12] === "bubble"
-      ), Je(i, "message-markdown-disabled", !/*render_markdown*/
+      ), rt(i, "message-markdown-disabled", !/*render_markdown*/
       a[9]), An(
         i,
         "text-align",
@@ -18577,16 +18577,16 @@ function Ua(a) {
       a[39])) && Be(u, "data-testid", o), (!y || S[0] & /*rtl*/
       32 && f !== (f = /*rtl*/
       a[5] ? "rtl" : "ltr")) && Be(u, "dir", f), (!y || S[0] & /*value*/
-      1) && Je(
+      1) && rt(
         u,
         "latest",
         /*i*/
         a[38] === /*groupedMessages*/
         a[35].length - 1
       ), (!y || S[0] & /*render_markdown*/
-      512) && Je(u, "message-markdown-disabled", !/*render_markdown*/
+      512) && rt(u, "message-markdown-disabled", !/*render_markdown*/
       a[9]), (!y || S[0] & /*selectable*/
-      8) && Je(
+      8) && rt(
         u,
         "selectable",
         /*selectable*/
@@ -18600,26 +18600,26 @@ function Ua(a) {
       ), (!y || S[0] & /*value*/
       1 && p !== (p = "message " + /*role*/
       (a[39] === "user" ? "user" : "bot") + " svelte-kqrm1b")) && Be(i, "class", p), (!y || S[0] & /*value, layout, bubble_full_width*/
-      4353) && Je(
+      4353) && rt(
         i,
         "message-fit",
         /*layout*/
         a[12] === "bubble" && !/*bubble_full_width*/
         a[8]
       ), (!y || S[0] & /*value, layout*/
-      4097) && Je(
+      4097) && rt(
         i,
         "panel-full-width",
         /*layout*/
         a[12] === "panel"
       ), (!y || S[0] & /*value, layout*/
-      4097) && Je(
+      4097) && rt(
         i,
         "message-bubble-border",
         /*layout*/
         a[12] === "bubble"
       ), (!y || S[0] & /*value, render_markdown*/
-      513) && Je(i, "message-markdown-disabled", !/*render_markdown*/
+      513) && rt(i, "message-markdown-disabled", !/*render_markdown*/
       a[9]), S[0] & /*rtl, value*/
       33 && An(
         i,
@@ -18903,11 +18903,10 @@ function td(a) {
   }
   return s = p(a), i = f[s] = o[s](a), {
     c() {
-      n = n0("div"), i.c(), Be(n, "class", "svelte-kqrm1b"), Je(
+      n = n0("div"), i.c(), Be(n, "class", "svelte-kqrm1b"), rt(
         n,
         "thought",
-        /*message*/
-        a[41].thought && /*thought_index*/
+        /*thought_index*/
         a[43] > 0
       );
     },
@@ -18918,14 +18917,7 @@ function td(a) {
       let x = s;
       s = p(b), s === x ? f[s].p(b, y) : (A0(), Me(f[x], 1, 1, () => {
         f[x] = null;
-      }), v0(), i = f[s], i ? i.p(b, y) : (i = f[s] = o[s](b), i.c()), _e(i, 1), i.m(n, null)), (!u || y[0] & /*value*/
-      1) && Je(
-        n,
-        "thought",
-        /*message*/
-        b[41].thought && /*thought_index*/
-        b[43] > 0
-      );
+      }), v0(), i = f[s], i ? i.p(b, y) : (i = f[s] = o[s](b), i.c()), _e(i, 1), i.m(n, null));
     },
     i(b) {
       u || (_e(i), u = !0);
@@ -19337,7 +19329,7 @@ function od(a) {
   }
   return ~(u = q(a)) && (o = B[u] = C[u](W(a, u))), {
     c() {
-      x && x.c(), n = si(), s = n0("div"), i = n0("div"), o && o.c(), Be(i, "class", "message-wrap svelte-kqrm1b"), Je(
+      x && x.c(), n = si(), s = n0("div"), i = n0("div"), o && o.c(), Be(i, "class", "message-wrap svelte-kqrm1b"), rt(
         i,
         "bubble-gap",
         /*layout*/
@@ -19345,7 +19337,7 @@ function od(a) {
       ), Be(s, "class", f = Oa(
         /*layout*/
         a[12] === "bubble" ? "bubble-wrap" : "panel-wrap"
-      ) + " svelte-kqrm1b"), Be(s, "role", "log"), Be(s, "aria-label", "chatbot conversation"), Be(s, "aria-live", "polite"), Je(
+      ) + " svelte-kqrm1b"), Be(s, "role", "log"), Be(s, "aria-label", "chatbot conversation"), Be(s, "aria-live", "polite"), rt(
         s,
         "placeholder-container",
         /*value*/
@@ -19368,7 +19360,7 @@ function od(a) {
       u = q(j), u === U ? ~u && B[u].p(W(j, u), G) : (o && (A0(), Me(B[U], 1, 1, () => {
         B[U] = null;
       }), v0()), ~u ? (o = B[u], o ? o.p(W(j, u), G) : (o = B[u] = C[u](W(j, u)), o.c()), _e(o, 1), o.m(i, null)) : o = null), (!p || G[0] & /*layout*/
-      4096) && Je(
+      4096) && rt(
         i,
         "bubble-gap",
         /*layout*/
@@ -19378,7 +19370,7 @@ function od(a) {
         /*layout*/
         j[12] === "bubble" ? "bubble-wrap" : "panel-wrap"
       ) + " svelte-kqrm1b")) && Be(s, "class", f), (!p || G[0] & /*layout, value*/
-      4097) && Je(
+      4097) && rt(
         s,
         "placeholder-container",
         /*value*/
@@ -19402,9 +19394,9 @@ function ud(a) {
 }
 function cd(a) {
   const n = [];
-  let s = [];
-  for (const i of a)
-    i.thought ? s.push(i) : (s.length > 0 && (n.push(s), s = []), n.push([i]));
+  let s = [], i = null;
+  for (const u of a)
+    u.role === i ? s.push(u) : (s.length > 0 && n.push(s), s = [u], i = u.role);
   return s.length > 0 && n.push(s), n;
 }
 function hd(a, n, s) {

src/backend/gradio_agentchatbot/utils.py

@@ -13,7 +13,6 @@ class ThoughtMetadata(GradioModel):
 
 class Message(GradioModel):
     role: Literal["user", "assistant"]
-    thought: bool = False
     thought_metadata: ThoughtMetadata = Field(default_factory=ThoughtMetadata)
 
 

src/demo/app.py

@@ -37,6 +37,7 @@ def interact_with_agent(prompt, messages):
 with gr.Blocks() as demo:
     with gr.Tabs():
         with gr.Tab("Demo"):
+            gr.Markdown("# Chat with an LLM Agent 🤖 and see its thoughts 💭")
             chatbot = AgentChatbot(
                 label="Agent",
                 avatar_images=[

src/demo/docs.md

@@ -69,7 +69,7 @@ if __name__ == "__main__":
 
 The `AgentChatbot` is similar to the core `Gradio` `Chatbot` but the key difference is in the expected data format of the `value` property.
 
-Instead of a list of tuples, each of which can be either a string or tuple, the value is a list of message instances. Each message can be either a `ChatMessage` or a `ChatFileMessage`. These are pydantic classes that are compatible with the OpenAI [message format](https://platform.openai.com/docs/api-reference/chat/create#chat-create-messages). This is how the are defined:
+Instead of a list of tuples, each of which can be either a string or tuple, the value is a list of message instances. Each message can be either a `ChatMessage` or a `ChatFileMessage`. These are pydantic classes that are compatible with the OpenAI [message format](https://platform.openai.com/docs/api-reference/chat/create#chat-create-messages). This is how they are defined:
 
 ```python
 class ThoughtMetadata(GradioModel):
@@ -80,14 +80,12 @@ class ThoughtMetadata(GradioModel):
 class ChatMessage(GradioModel):
     role: Literal["user", "assistant"]
     content: str
-    thought: bool = False
     thought_metadata: ThoughtMetadata = Field(default_factory=ThoughtMetadata)
 
 
 class ChatFileMessage(GradioModel):
     role: Literal["user", "assistant"]
     file: FileData
-    thought: bool = False
     thought_metadata: ThoughtMetadata = Field(default_factory=ThoughtMetadata)
     alt_text: Optional[str] = None
 ```
@@ -101,12 +99,20 @@ def chat_echo(prompt: str, messages: List[ChatMessage | ChatFileMessage]) -> Lis
     return messages
 ```
 
-### Why a different data format?
+### Why a different data format than Gradio core?
 
 The OpenAI data format is the standard format for representing LLM conversations and most API providers have adopted it.
 By using a compliant data format, it should be easier to use `AgentChatbot` with multiple API providers and libraries.
 
 
+### What is `thought_metadata` field for?
+
+You can use this to add additional information data about the current thought, like the names of the tool used.
+If the `thought_metadata.tool_name` field is not `None`, the message `content` will be displayed in a collapsible tool modal. See below:
+
+![Tool Modal](https://gradio-builds.s3.amazonaws.com/demo-files/tool_modal.gif)
+
+
 ### Why are pydantic data classes required?
 
 It should improve developer experience since your editor will auto-complete the required fields and use smart autocomplete for the `role` class. You will also get an error message if your data does not conform to the data format.

src/demo/requirements.txt

@@ -1,6 +1,7 @@
-gradio_agentchatbot
-"git+https://github.com/huggingface/transformers.git#egg=transformers[agents]"
+gradio_agentchatbot==0.0.2
+git+https://github.com/huggingface/transformers.git#egg=transformers[agents]
 langchain
+langchain-community
 sentence-transformers
 faiss-cpu
 serpapi

src/frontend/shared/ChatBot.svelte

@@ -9,7 +9,7 @@
 	import { Image } from "@gradio/image/shared";
 	import { Video } from "@gradio/video/shared";
 	import type { SelectData, LikeData } from "@gradio/utils";
-	import type { ChatMessage, ChatFileMessage, Message } from "../types";
+	import type { ChatMessage, ChatFileMessage, Message, MessageRole } from "../types";
 	import { MarkdownCode as Markdown } from "@gradio/markdown";
 	import { FileData } from "@gradio/client";
 	import Copy from "./Copy.svelte";
@@ -135,18 +135,19 @@
 	}
 
 	function groupMessages(messages: (ChatMessage | ChatFileMessage)[]): (ChatMessage | ChatFileMessage)[][] {
-		const groupedMessages: (ChatFileMessage | ChatMessage)[][] = [];
-		let currentGroup: (ChatFileMessage | ChatMessage)[] = [];
+		const groupedMessages: (ChatMessage | ChatFileMessage)[][] = [];
+		let currentGroup: (ChatMessage | ChatFileMessage)[] = [];
+		let currentRole: MessageRole | null = null;
 
 		for (const message of messages) {
-			if (message.thought) {
-			currentGroup.push(message);
+			if (message.role === currentRole) {
+				currentGroup.push(message);
 			} else {
 			if (currentGroup.length > 0) {
 				groupedMessages.push(currentGroup);
-				currentGroup = [];
 			}
-			groupedMessages.push([message]);
+			currentGroup = [message];
+			currentRole = message.role;
 			}
 		}
 
@@ -155,7 +156,7 @@
 		}
 
 		return groupedMessages;
-}
+		}
 
 </script>
 
@@ -222,7 +223,7 @@
 								{#each messages as message, thought_index}
 
 									{#if !isFileMessage(message)}
-										<div class:thought={message.thought && thought_index > 0}>
+										<div class:thought={thought_index > 0}>
 										{#if message.thought_metadata.tool_name}
 											<ToolMessage
 												title={`Used tool ${message.thought_metadata.tool_name}`}

src/frontend/types.ts

@@ -1,6 +1,6 @@
 import type { FileData } from "@gradio/client";
 
-type MessageRole = "system" | "user" | "assistant" | "tool";
+export type MessageRole = "system" | "user";
 
 
 export interface ThoughtMetadata {
@@ -11,7 +11,6 @@ export interface ThoughtMetadata {
 export interface Message {
   role: MessageRole;
   thought_metadata: ThoughtMetadata;
-  thought: boolean;
 }
 
 export interface ChatMessage extends Message {

src/pyproject.toml

@@ -8,7 +8,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "gradio_agentchatbot"
-version = "0.0.1"
+version = "0.0.2"
 description = "Chat with agents 🤖 and see the tools they use 🛠️"
 readme = "README.md"
 license = "apache-2.0"