
(SDEFUN |HTMLFORM;coerce;OfS;1| ((|expr| (|OutputForm|)) (% (|String|)))
        (SEQ
         (|HTMLFORM;outputTree|
          (|HTMLFORM;formatHtml| (SPADCALL |expr| (QREFELT % 24)) (QREFELT % 8)
           %)
          %)
         (EXIT " "))) 

(SDEFUN |HTMLFORM;coerceS;OfS;2| ((|expr| (|OutputForm|)) (% (|String|)))
        (SEQ
         (|HTMLFORM;outputTree|
          (|HTMLFORM;formatHtml| (SPADCALL |expr| (QREFELT % 24)) (QREFELT % 8)
           %)
          %)
         (EXIT " "))) 

(SDEFUN |HTMLFORM;coerceL;OfS;3| ((|expr| (|OutputForm|)) (% (|String|)))
        (SEQ
         (|HTMLFORM;outputTree|
          (|HTMLFORM;formatHtml| (SPADCALL |expr| (QREFELT % 24)) (QREFELT % 8)
           %)
          %)
         (EXIT " "))) 

(SDEFUN |HTMLFORM;display;SV;4| ((|html| (|String|)) (% (|Void|)))
        (SEQ (|sayHtml| |html|) (EXIT (SPADCALL (QREFELT % 30))))) 

(SDEFUN |HTMLFORM;newNode|
        ((|tag| (|String|)) (|node| (|Tree| (|String|)))
         (% (|Tree| (|String|))))
        (SPROG ((|t| (|Tree| (|String|))))
               (SEQ
                (LETT |t| (SPADCALL (|String|) (LIST |node|) (QREFELT % 34)))
                (SPADCALL |t| |tag| (QREFELT % 35)) (EXIT |t|)))) 

(SDEFUN |HTMLFORM;newNodes|
        ((|tag| (|String|)) (|nodes| (|List| (|Tree| (|String|))))
         (% (|Tree| (|String|))))
        (SPROG ((|t| (|Tree| (|String|))))
               (SEQ (LETT |t| (SPADCALL (|String|) |nodes| (QREFELT % 34)))
                    (SPADCALL |t| |tag| (QREFELT % 35)) (EXIT |t|)))) 

(SDEFUN |HTMLFORM;notTable?| ((|node| (|Tree| (|String|))) (% (|Boolean|)))
        (SPROG
         ((#1=#:G121 NIL) (#2=#:G122 NIL) (|a| NIL)
          (|c| (|List| (|Tree| (|String|)))))
         (SEQ
          (EXIT
           (COND
            ((OR (SPADCALL |node| (QREFELT % 37))
                 (SPADCALL |node| (QREFELT % 38)))
             'T)
            ((SPADCALL "table" (SPADCALL |node| (QREFELT % 39)) (QREFELT % 40))
             NIL)
            ('T
             (SEQ (LETT |c| (SPADCALL |node| (QREFELT % 41)))
                  (SEQ (LETT |a| NIL) (LETT #2# |c|) G190
                       (COND
                        ((OR (ATOM #2#) (PROGN (LETT |a| (CAR #2#)) NIL))
                         (GO G191)))
                       (SEQ
                        (EXIT
                         (COND
                          ((NULL (|HTMLFORM;notTable?| |a| %))
                           (PROGN (LETT #1# NIL) (GO #3=#:G120))))))
                       (LETT #2# (CDR #2#)) (GO G190) G191 (EXIT NIL))
                  (EXIT 'T)))))
          #3# (EXIT #1#)))) 

(SDEFUN |HTMLFORM;argsToString|
        ((|args| (|List| (|OutputForm|))) (% (|String|)))
        (SPROG
         ((|s| (|String|)) (|s1| #1=(|String|)) (#2=#:G128 NIL) (|a| NIL)
          (|sop| #1#))
         (SEQ (LETT |sop| (SPADCALL (|SPADfirst| |args|) (QREFELT % 42)))
              (LETT |args| (CDR |args|))
              (LETT |s| (SPADCALL (LIST "{" |sop|) (QREFELT % 43)))
              (SEQ (LETT |a| NIL) (LETT #2# |args|) G190
                   (COND
                    ((OR (ATOM #2#) (PROGN (LETT |a| (CAR #2#)) NIL))
                     (GO G191)))
                   (SEQ (LETT |s1| (SPADCALL |a| (QREFELT % 42)))
                        (EXIT
                         (LETT |s| (SPADCALL (LIST |s| |s1|) (QREFELT % 43)))))
                   (LETT #2# (CDR #2#)) (GO G190) G191 (EXIT NIL))
              (EXIT (LETT |s| (SPADCALL (LIST |s| "}") (QREFELT % 43))))))) 

(SDEFUN |HTMLFORM;exprex;OfS;9| ((|expr| (|OutputForm|)) (% (|String|)))
        (SPROG
         ((|s| (|String|)) (|s1| #1=(|String|)) (#2=#:G136 NIL) (|a| NIL)
          (|nargs| (|Integer|)) (|args| (|List| (|OutputForm|))) (|sop| #1#)
          (|op| (|OutputForm|)))
         (SEQ (LETT |expr| (SPADCALL |expr| (QREFELT % 24)))
              (EXIT
               (COND
                ((SPADCALL |expr| (QREFELT % 44))
                 (SPADCALL (LIST "{" "NOTHING" "}") (QREFELT % 43)))
                ((SPADCALL |expr| (QREFELT % 45))
                 (SPADCALL (LIST "{" (SPADCALL |expr| (QREFELT % 46)) "}")
                           (QREFELT % 43)))
                ('T
                 (SEQ (LETT |op| (SPADCALL |expr| (QREFELT % 47)))
                      (LETT |sop| (SPADCALL |op| (QREFELT % 42)))
                      (LETT |args| (SPADCALL |expr| (QREFELT % 49)))
                      (LETT |nargs| (LENGTH |args|))
                      (LETT |s| (SPADCALL (LIST "{" |sop|) (QREFELT % 43)))
                      (COND
                       ((> |nargs| 0)
                        (SEQ (LETT |a| NIL) (LETT #2# |args|) G190
                             (COND
                              ((OR (ATOM #2#) (PROGN (LETT |a| (CAR #2#)) NIL))
                               (GO G191)))
                             (SEQ (LETT |s1| (SPADCALL |a| (QREFELT % 42)))
                                  (EXIT
                                   (LETT |s|
                                         (SPADCALL (LIST |s| |s1|)
                                                   (QREFELT % 43)))))
                             (LETT #2# (CDR #2#)) (GO G190) G191 (EXIT NIL))))
                      (EXIT
                       (LETT |s|
                             (SPADCALL (LIST |s| "}") (QREFELT % 43))))))))))) 

(SDEFUN |HTMLFORM;atomize|
        ((|expr| (|OutputForm|)) (% (|List| (|OutputForm|))))
        (SPROG
         ((|le| (|List| (|OutputForm|))) (#1=#:G143 NIL) (|a| NIL)
          (|letmp| (|List| (|OutputForm|))))
         (SEQ (LETT |le| NIL)
              (EXIT
               (COND ((SPADCALL |expr| (QREFELT % 44)) |le|)
                     ((SPADCALL |expr| (QREFELT % 45)) (LIST |expr|))
                     ('T
                      (SEQ
                       (LETT |letmp|
                             (CONS (SPADCALL |expr| (QREFELT % 47))
                                   (SPADCALL |expr| (QREFELT % 49))))
                       (SEQ (LETT |a| NIL) (LETT #1# |letmp|) G190
                            (COND
                             ((OR (ATOM #1#) (PROGN (LETT |a| (CAR #1#)) NIL))
                              (GO G191)))
                            (SEQ
                             (EXIT
                              (LETT |le|
                                    (SPADCALL |le| (|HTMLFORM;atomize| |a| %)
                                              (QREFELT % 50)))))
                            (LETT #1# (CDR #1#)) (GO G190) G191 (EXIT NIL))
                       (EXIT |le|)))))))) 

(SDEFUN |HTMLFORM;outputTree| ((|t| (|Tree| (|String|))) (% (|Void|)))
        (SPROG
         ((#1=#:G184 NIL) (|c1| NIL) (#2=#:G181 NIL) (|s| (|String|))
          (#3=#:G183 NIL) (#4=#:G182 NIL) (|enableGrid| (|Boolean|))
          (|c| (|List| (|Tree| (|String|)))) (|tagName| (|String|))
          (|tagPos| (|Integer|)))
         (SEQ
          (EXIT
           (SEQ
            (COND
             ((SPADCALL |t| (QREFELT % 37))
              (PROGN (LETT #2# (SPADCALL (QREFELT % 30))) (GO #5=#:G180))))
            (COND
             ((SPADCALL |t| (QREFELT % 38))
              (SEQ (|sayHtml| (SPADCALL |t| (QREFELT % 39)))
                   (EXIT
                    (PROGN (LETT #2# (SPADCALL (QREFELT % 30))) (GO #5#))))))
            (LETT |tagName| (COPY-SEQ (SPADCALL |t| (QREFELT % 39))))
            (LETT |tagPos|
                  (SPADCALL (|STR_to_CHAR| " ") |tagName| 1 (QREFELT % 53)))
            (COND
             ((> |tagPos| 1)
              (LETT |tagName|
                    (SPADCALL
                     (SPADCALL |tagName| (|STR_to_CHAR| " ") (QREFELT % 54)) 1
                     (QREFELT % 56)))))
            (COND
             ((SPADCALL (SPADCALL |t| (QREFELT % 39)) "" (QREFELT % 57))
              (|sayHtml|
               (SPADCALL (LIST "<" (SPADCALL |t| (QREFELT % 39)) ">")
                         (QREFELT % 43)))))
            (LETT |c| (SPADCALL |t| (QREFELT % 41)))
            (LETT |enableGrid|
                  (COND
                   ((> (LENGTH |c|) 1) (NULL (|HTMLFORM;notTable?| |t| %)))
                   (#6='T NIL)))
            (COND
             (|enableGrid|
              (SEQ (COND ((EQUAL |tagName| "table") (LETT |enableGrid| NIL)))
                   (EXIT
                    (COND ((EQUAL |tagName| "tr") (LETT |enableGrid| NIL)))))))
            (EXIT
             (COND
              ((SPADCALL (ELT % 38) |c| (QREFELT % 61))
               (SEQ
                (LETT |s|
                      (SPADCALL
                       (PROGN
                        (LETT #4# NIL)
                        (SEQ (LETT |c1| NIL) (LETT #3# |c|) G190
                             (COND
                              ((OR (ATOM #3#)
                                   (PROGN (LETT |c1| (CAR #3#)) NIL))
                               (GO G191)))
                             (SEQ
                              (EXIT
                               (LETT #4#
                                     (CONS (SPADCALL |c1| (QREFELT % 39))
                                           #4#))))
                             (LETT #3# (CDR #3#)) (GO G190) G191
                             (EXIT (NREVERSE #4#))))
                       (QREFELT % 43)))
                (|sayHtml| |s|)
                (COND
                 ((SPADCALL (SPADCALL |t| (QREFELT % 39)) "" (QREFELT % 57))
                  (|sayHtml|
                   (SPADCALL (LIST "</" |tagName| ">") (QREFELT % 43)))))
                (EXIT (PROGN (LETT #2# (SPADCALL (QREFELT % 30))) (GO #5#)))))
              (#6#
               (SEQ
                (COND
                 (|enableGrid|
                  (SEQ (|sayHtml| "<table border='0'>")
                       (EXIT (|sayHtml| "<tr>")))))
                (SEQ (LETT |c1| NIL) (LETT #1# |c|) G190
                     (COND
                      ((OR (ATOM #1#) (PROGN (LETT |c1| (CAR #1#)) NIL))
                       (GO G191)))
                     (SEQ (COND (|enableGrid| (|sayHtml| "<td>")))
                          (|HTMLFORM;outputTree| |c1| %)
                          (EXIT (COND (|enableGrid| (|sayHtml| "</td>")))))
                     (LETT #1# (CDR #1#)) (GO G190) G191 (EXIT NIL))
                (COND
                 (|enableGrid|
                  (SEQ (|sayHtml| "</tr>") (EXIT (|sayHtml| "</table>")))))
                (COND
                 ((SPADCALL (SPADCALL |t| (QREFELT % 39)) "" (QREFELT % 57))
                  (|sayHtml|
                   (SPADCALL (LIST "</" |tagName| ">") (QREFELT % 43)))))
                (EXIT (SPADCALL (QREFELT % 30)))))))))
          #5# (EXIT #2#)))) 

(PUT '|HTMLFORM;stringify| '|SPADreplace| '|mathObject2String|) 

(SDEFUN |HTMLFORM;stringify| ((|expr| (|OutputForm|)) (% (|String|)))
        (|mathObject2String| |expr|)) 

(SDEFUN |HTMLFORM;formatSC|
        ((|args| (|List| (|OutputForm|))) (|prec| (|Integer|))
         (% (|Tree| (|String|))))
        (SPROG
         ((|row| (|Tree| (|String|))) (|cells| (|List| (|Tree| (|String|))))
          (#1=#:G192 NIL) (|a| NIL) (#2=#:G191 NIL))
         (SEQ
          (COND
           ((QREFELT % 21)
            (|sayHtml|
             (SPADCALL "formatSC: "
                       (SPADCALL
                        (LIST " args=" (|HTMLFORM;argsToString| |args| %)
                              " prec=" (STRINGIMAGE |prec|))
                        (QREFELT % 43))
                       (QREFELT % 62)))))
          (EXIT
           (COND ((NULL |args|) (SPADCALL "" (QREFELT % 63)))
                 ('T
                  (SEQ
                   (LETT |cells|
                         (PROGN
                          (LETT #2# NIL)
                          (SEQ (LETT |a| NIL) (LETT #1# |args|) G190
                               (COND
                                ((OR (ATOM #1#)
                                     (PROGN (LETT |a| (CAR #1#)) NIL))
                                 (GO G191)))
                               (SEQ
                                (EXIT
                                 (LETT #2#
                                       (CONS
                                        (|HTMLFORM;newNode|
                                         "td id='sc' style='border-bottom-style:solid'"
                                         (|HTMLFORM;formatHtml| |a| |prec| %)
                                         %)
                                        #2#))))
                               (LETT #1# (CDR #1#)) (GO G190) G191
                               (EXIT (NREVERSE #2#)))))
                   (LETT |row| (|HTMLFORM;newNodes| "tr id='sc'" |cells| %))
                   (EXIT
                    (|HTMLFORM;newNode| "table border='0' id='sc'" |row|
                     %))))))))) 

(SDEFUN |HTMLFORM;buildOverbar|
        ((|content| (|Tree| (|String|))) (% (|Tree| (|String|))))
        (SPROG ((|row| #1=(|Tree| (|String|))) (|cell| #1#))
               (SEQ (COND ((QREFELT % 21) (|sayHtml| "buildOverbar")))
                    (LETT |cell|
                          (|HTMLFORM;newNode|
                           "td id='overbar' style='border-top-style:solid'"
                           |content| %))
                    (LETT |row|
                          (|HTMLFORM;newNode| "tr id='overbar'" |cell| %))
                    (EXIT
                     (|HTMLFORM;newNode| "table border='0' id='overbar'" |row|
                      %))))) 

(SDEFUN |HTMLFORM;buildRoot|
        ((|content| (|Tree| (|String|))) (% (|Tree| (|String|))))
        (SPROG
         ((|row| (|Tree| (|String|))) (|cell2| #1=(|Tree| (|String|)))
          (|cell1| #1#) (#2=#:G198 NIL))
         (SEQ
          (EXIT
           (SEQ (COND ((QREFELT % 21) (|sayHtml| "buildRoot")))
                (COND
                 ((SPADCALL |content| (QREFELT % 38))
                  (PROGN
                   (LETT #2#
                         (|HTMLFORM;newNodes| ""
                          (LIST (SPADCALL "&radic;" (QREFELT % 63)) |content|)
                          %))
                   (GO #3=#:G197))))
                (LETT |cell1|
                      (|HTMLFORM;newNode| "td id='root'"
                       (SPADCALL "&radic;" (QREFELT % 63)) %))
                (LETT |cell2|
                      (|HTMLFORM;newNode|
                       "td id='root' style='border-top-style:solid'" |content|
                       %))
                (LETT |row|
                      (|HTMLFORM;newNodes| "tr id='root'"
                       (LIST |cell1| |cell2|) %))
                (EXIT
                 (|HTMLFORM;newNode| "table border='0' id='root'" |row| %))))
          #3# (EXIT #2#)))) 

(SDEFUN |HTMLFORM;buildNRoot|
        ((|content| (|Tree| (|String|))) (|nth| (|Tree| (|String|)))
         (% (|Tree| (|String|))))
        (SPROG
         ((|row| #1=(|Tree| (|String|))) (|cell2| #2=(|Tree| (|String|)))
          (|cell1| #1#) (#3=#:G202 NIL) (|power| #2#))
         (SEQ
          (EXIT
           (SEQ (COND ((QREFELT % 21) (|sayHtml| "buildNRoot")))
                (LETT |power| (|HTMLFORM;newNode| "sup" |nth| %))
                (COND
                 ((SPADCALL |content| (QREFELT % 38))
                  (PROGN
                   (LETT #3#
                         (|HTMLFORM;newNodes| ""
                          (LIST |power| (SPADCALL "&radic;" (QREFELT % 63))
                                |content|)
                          %))
                   (GO #4=#:G201))))
                (LETT |cell1|
                      (|HTMLFORM;newNodes| "td id='nroot'"
                       (LIST |power| (SPADCALL "&radic;" (QREFELT % 63))) %))
                (LETT |cell2|
                      (|HTMLFORM;newNode|
                       "td id='nroot' style='border-top-style:solid'" |content|
                       %))
                (LETT |row|
                      (|HTMLFORM;newNodes| "tr id='nroot'"
                       (LIST |cell1| |cell2|) %))
                (EXIT
                 (|HTMLFORM;newNode| "table border='0' id='nroot'" |row| %))))
          #4# (EXIT #3#)))) 

(SDEFUN |HTMLFORM;formatSpecial|
        ((|op| (|Symbol|)) (|args| (|List| (|OutputForm|)))
         (|prec| (|Integer|)) (% (|Tree| (|String|))))
        (SPROG
         ((|tmp| (|Tree| (|String|))) (#1=#:G238 NIL) (|u| NIL)
          (#2=#:G237 NIL))
         (SEQ
          (COND
           ((QREFELT % 21)
            (|sayHtml|
             (SPADCALL
              (LIST "formatSpecial: " "op=" (SPADCALL |op| (QREFELT % 65))
                    " args=" (|HTMLFORM;argsToString| |args| %) " prec="
                    (STRINGIMAGE |prec|))
              (QREFELT % 43)))))
          (EXIT
           (COND
            ((EQUAL |op| '|theMap|) (SPADCALL "theMap(...)" (QREFELT % 63)))
            ((EQUAL |op| 'AGGLST) (|HTMLFORM;formatNary| "," |args| |prec| %))
            ((EQUAL |op| 'AGGSET) (|HTMLFORM;formatNary| ";" |args| |prec| %))
            ((EQUAL |op| '~>)
             (|HTMLFORM;newNodes| ""
              (LIST (|HTMLFORM;formatHtml| (|SPADfirst| |args|) |prec| %)
                    (SPADCALL "&#x021DD;" (QREFELT % 63))
                    (|HTMLFORM;formatHtml| (SPADCALL |args| (QREFELT % 66))
                     |prec| %))
              %))
            (#3='T
             (COND
              ((EQUAL |op| 'SLASH)
               (|HTMLFORM;newNodes| ""
                (LIST (|HTMLFORM;formatHtml| (|SPADfirst| |args|) |prec| %)
                      (SPADCALL "/" (QREFELT % 63))
                      (|HTMLFORM;formatHtml| (SPADCALL |args| (QREFELT % 66))
                       |prec| %))
                %))
              ((EQUAL |op| 'VCONCAT)
               (|HTMLFORM;newNodes| "table"
                (PROGN
                 (LETT #2# NIL)
                 (SEQ (LETT |u| NIL) (LETT #1# |args|) G190
                      (COND
                       ((OR (ATOM #1#) (PROGN (LETT |u| (CAR #1#)) NIL))
                        (GO G191)))
                      (SEQ
                       (EXIT
                        (LETT #2#
                              (CONS
                               (|HTMLFORM;newNode| "td"
                                (|HTMLFORM;formatHtml| |u| (QREFELT % 8) %) %)
                               #2#))))
                      (LETT #1# (CDR #1#)) (GO G190) G191
                      (EXIT (NREVERSE #2#))))
                %))
              ((EQUAL |op| 'CONCATB)
               (|HTMLFORM;formatNary| " " |args| |prec| %))
              ((EQUAL |op| 'CONCAT)
               (|HTMLFORM;formatNary| "" |args| (QREFELT % 8) %))
              ((EQUAL |op| 'QUOTE)
               (|HTMLFORM;newNodes| ""
                (LIST (SPADCALL "'" (QREFELT % 63))
                      (|HTMLFORM;formatHtml| (|SPADfirst| |args|) (QREFELT % 8)
                       %))
                %))
              ((EQUAL |op| 'BRACKET)
               (|HTMLFORM;newNodes| ""
                (LIST (SPADCALL "[" (QREFELT % 63))
                      (|HTMLFORM;formatHtml| (|SPADfirst| |args|) (QREFELT % 8)
                       %)
                      (SPADCALL "]" (QREFELT % 63)))
                %))
              ((EQUAL |op| 'BRACE)
               (|HTMLFORM;newNodes| ""
                (LIST (SPADCALL "{" (QREFELT % 63))
                      (|HTMLFORM;formatHtml| (|SPADfirst| |args|) (QREFELT % 8)
                       %)
                      (SPADCALL "}" (QREFELT % 63)))
                %))
              ((EQUAL |op| 'PAREN)
               (|HTMLFORM;newNodes| ""
                (LIST (SPADCALL "(" (QREFELT % 63))
                      (|HTMLFORM;formatHtml| (|SPADfirst| |args|) (QREFELT % 8)
                       %)
                      (SPADCALL ")" (QREFELT % 63)))
                %))
              ((EQUAL |op| 'OVERBAR)
               (COND ((NULL |args|) (SPADCALL "" (QREFELT % 63)))
                     (#3#
                      (|HTMLFORM;buildOverbar|
                       (|HTMLFORM;formatHtml| (|SPADfirst| |args|)
                        (QREFELT % 8) %)
                       %))))
              (#3#
               (SEQ
                (COND
                 ((EQUAL |op| 'ROOT)
                  (COND
                   ((< (LENGTH |args|) 1)
                    (EXIT (SPADCALL "" (QREFELT % 63)))))))
                (COND
                 ((EQUAL |op| 'ROOT)
                  (COND
                   ((EQL (LENGTH |args|) 1)
                    (EXIT
                     (|HTMLFORM;buildRoot|
                      (|HTMLFORM;formatHtml| (|SPADfirst| |args|) (QREFELT % 8)
                       %)
                      %))))))
                (COND
                 ((EQUAL |op| 'ROOT)
                  (COND
                   ((> (LENGTH |args|) 1)
                    (EXIT
                     (|HTMLFORM;buildNRoot|
                      (|HTMLFORM;formatHtml| (|SPADfirst| |args|) (QREFELT % 8)
                       %)
                      (|HTMLFORM;formatHtml| (SPADCALL |args| (QREFELT % 66))
                       (QREFELT % 8) %)
                      %))))))
                (EXIT
                 (COND
                  ((EQUAL |op| 'SEGMENT)
                   (SEQ
                    (LETT |tmp|
                          (|HTMLFORM;newNodes| ""
                           (LIST
                            (|HTMLFORM;formatHtml| (|SPADfirst| |args|)
                             (QREFELT % 8) %)
                            (SPADCALL ".." (QREFELT % 63)))
                           %))
                    (EXIT
                     (COND ((NULL (CDR |args|)) |tmp|)
                           (#3#
                            (|HTMLFORM;newNodes| ""
                             (LIST |tmp|
                                   (|HTMLFORM;formatHtml|
                                    (|SPADfirst| (CDR |args|)) (QREFELT % 8)
                                    %))
                             %))))))
                  ((EQUAL |op| 'SC)
                   (|HTMLFORM;formatSC| |args| (QREFELT % 8) %))
                  ((EQUAL |op| 'MATRIX)
                   (|HTMLFORM;formatMatrix| (CDR |args|) %))
                  ((EQUAL |op| 'ZAG)
                   (|HTMLFORM;newNodes| ""
                    (LIST (SPADCALL " \\zag{" (QREFELT % 63))
                          (|HTMLFORM;formatHtml| (|SPADfirst| |args|)
                           (QREFELT % 8) %)
                          (SPADCALL "}{" (QREFELT % 63))
                          (|HTMLFORM;formatHtml| (|SPADfirst| (CDR |args|))
                           (QREFELT % 8) %)
                          (SPADCALL "}" (QREFELT % 63)))
                    %))
                  (#3#
                   (SPADCALL
                    (SPADCALL "formatSpecial not implemented: "
                              (SPADCALL |op| (QREFELT % 65)) (QREFELT % 62))
                    (QREFELT % 63)))))))))))))) 

(SDEFUN |HTMLFORM;formatSuperSub|
        ((|expr| (|OutputForm|)) (|args| (|List| (|OutputForm|)))
         (|opPrec| (|Integer|)) (% (|Tree| (|String|))))
        (SPROG
         ((|res| (|Tree| (|String|))) (|commaTest| (|String|))
          (|ndiffs| (|Integer|)) (|commaS| #1=(|String|)) (|funcS| #1#)
          (|op| #1#) (|atomE| (|List| (|OutputForm|))))
         (SEQ
          (COND
           ((QREFELT % 21)
            (|sayHtml|
             (SPADCALL "formatSuperSub: "
                       (SPADCALL
                        (LIST "expr=" (|HTMLFORM;stringify| |expr| %) " args="
                              (|HTMLFORM;argsToString| |args| %) " prec="
                              (STRINGIMAGE |opPrec|))
                        (QREFELT % 43))
                       (QREFELT % 62)))))
          (LETT |atomE| (|HTMLFORM;atomize| |expr| %))
          (LETT |op| (|HTMLFORM;stringify| (|SPADfirst| |atomE|) %))
          (EXIT
           (COND
            ((SPADCALL |op| "SUPERSUB" (QREFELT % 57))
             (SPADCALL "Mistake in formatSuperSub: no SUPERSUB"
                       (QREFELT % 63)))
            ((SPADCALL (LENGTH |args|) 1 (QREFELT % 67))
             (SPADCALL "Mistake in SuperSub: #args ~= 1" (QREFELT % 63)))
            ('T
             (SEQ
              (LETT |funcS|
                    (|HTMLFORM;stringify| (|SPADfirst| (CDR |atomE|)) %))
              (LETT |commaS|
                    (|HTMLFORM;stringify|
                     (|SPADfirst| (CDR (CDR (CDR |atomE|)))) %))
              (LETT |commaTest| ",") (LETT |ndiffs| 0)
              (SEQ G190
                   (COND
                    ((NULL
                      (> (SPADCALL |commaTest| |commaS| 1 (QREFELT % 68)) 0))
                     (GO G191)))
                   (SEQ (LETT |ndiffs| (+ |ndiffs| 1))
                        (EXIT
                         (LETT |commaTest|
                               (SPADCALL |commaTest| "," (QREFELT % 62)))))
                   NIL (GO G190) G191 (EXIT NIL))
              (LETT |res|
                    (|HTMLFORM;newNodes| ""
                     (LIST
                      (SPADCALL
                       (SPADCALL "&#x02146;"
                                 (SPADCALL (STRINGIMAGE |ndiffs|)
                                           (SPADCALL ""
                                                     (SPADCALL |funcS|
                                                               "&#x02146;"
                                                               (QREFELT % 62))
                                                     (QREFELT % 62))
                                           (QREFELT % 62))
                                 (QREFELT % 62))
                       (QREFELT % 63))
                      (|HTMLFORM;formatHtml| (|SPADfirst| |args|) (QREFELT % 8)
                       %)
                      (SPADCALL
                       (SPADCALL ""
                                 (SPADCALL (STRINGIMAGE |ndiffs|) "&#x02061;"
                                           (QREFELT % 62))
                                 (QREFELT % 62))
                       (QREFELT % 63))
                      (|HTMLFORM;formatHtml| (|SPADfirst| |args|) (QREFELT % 8)
                       %)
                      (SPADCALL ")" (QREFELT % 63)))
                     %))
              (EXIT |res|)))))))) 

(SDEFUN |HTMLFORM;buildPlex3|
        ((|main| (|Tree| (|String|))) (|supsc| (|Tree| (|String|)))
         (|op| (|Tree| (|String|))) (|subsc| (|Tree| (|String|)))
         (% (|Tree| (|String|))))
        (SPROG
         ((|rows| (|List| #1=(|Tree| (|String|)))) (|m| #1#) (|ssub| #1#)
          (|sop| #1#) (|ssup| #1#))
         (SEQ (COND ((QREFELT % 21) (|sayHtml| "buildPlex")))
              (LETT |ssup| (|HTMLFORM;newNode| "td id='plex'" |supsc| %))
              (LETT |sop| (|HTMLFORM;newNode| "td id='plex'" |op| %))
              (LETT |ssub| (|HTMLFORM;newNode| "td id='plex'" |subsc| %))
              (LETT |m|
                    (|HTMLFORM;newNode| "td rowspan='3' id='plex'" |main| %))
              (LETT |rows|
                    (LIST
                     (|HTMLFORM;newNodes| "tr id='plex'" (LIST |ssup| |m|) %)
                     (|HTMLFORM;newNode| "tr id='plex'" |sop| %)
                     (|HTMLFORM;newNode| "tr id='plex'" |ssub| %)))
              (EXIT
               (|HTMLFORM;newNodes| "table border='0' id='plex'" |rows| %))))) 

(SDEFUN |HTMLFORM;buildPlex2|
        ((|main| (|Tree| (|String|))) (|supsc| (|Tree| (|String|)))
         (|op| (|Tree| (|String|))) (% (|Tree| (|String|))))
        (SPROG
         ((|rows| (|List| #1=(|Tree| (|String|)))) (|m| #1#) (|sop| #1#)
          (|ssup| #1#))
         (SEQ (COND ((QREFELT % 21) (|sayHtml| "buildPlex")))
              (LETT |ssup| (|HTMLFORM;newNode| "td id='plex'" |supsc| %))
              (LETT |sop| (|HTMLFORM;newNode| "td id='plex'" |op| %))
              (LETT |m|
                    (|HTMLFORM;newNode| "td rowspan='2' id='plex'" |main| %))
              (LETT |rows|
                    (LIST
                     (|HTMLFORM;newNodes| "tr id='plex'" (LIST |sop| |m|) %)
                     (|HTMLFORM;newNode| "tr id='plex'" |ssup| %)))
              (EXIT
               (|HTMLFORM;newNodes| "table border='0' id='plex'" |rows| %))))) 

(SDEFUN |HTMLFORM;formatIntSign|
        ((|args| (|List| (|OutputForm|))) (|opPrec| (|Integer|))
         (% (|Tree| (|String|))))
        (SEQ
         (COND
          ((QREFELT % 21)
           (|sayHtml|
            (SPADCALL "formatIntSign: "
                      (SPADCALL
                       (LIST " args=" (|HTMLFORM;argsToString| |args| %)
                             " prec=" (STRINGIMAGE |opPrec|))
                       (QREFELT % 43))
                      (QREFELT % 62)))))
         (EXIT
          (COND
           ((SPADCALL (|SPADfirst| |args|) (QREFELT % 44))
            (|HTMLFORM;buildPlex2|
             (|HTMLFORM;formatHtml| (SPADCALL |args| 3 (QREFELT % 69)) |opPrec|
              %)
             (SPADCALL "&int;" (QREFELT % 63))
             (|HTMLFORM;formatHtml| (SPADCALL |args| 2 (QREFELT % 69)) |opPrec|
              %)
             %))
           ('T
            (|HTMLFORM;buildPlex3|
             (|HTMLFORM;formatHtml| (|SPADfirst| |args|) |opPrec| %)
             (|HTMLFORM;formatHtml| (SPADCALL |args| 3 (QREFELT % 69)) |opPrec|
              %)
             (SPADCALL "&int;" (QREFELT % 63))
             (|HTMLFORM;formatHtml| (SPADCALL |args| 2 (QREFELT % 69)) |opPrec|
              %)
             %)))))) 

(SDEFUN |HTMLFORM;formatPlex|
        ((|op| (|Symbol|)) (|args| (|List| (|OutputForm|)))
         (|prec| (|Integer|)) (% (|Tree| (|String|))))
        (SPROG
         ((#1=#:G263 NIL) (|s| (|Tree| (|String|))) (|n| (|Integer|))
          (|p| (|Integer|)))
         (SEQ
          (EXIT
           (SEQ
            (COND
             ((QREFELT % 21)
              (|sayHtml|
               (SPADCALL "formatPlex: "
                         (SPADCALL
                          (LIST "op=" (SPADCALL |op| (QREFELT % 65)) " args="
                                (|HTMLFORM;argsToString| |args| %) " prec="
                                (STRINGIMAGE |prec|))
                          (QREFELT % 43))
                         (QREFELT % 62)))))
            (LETT |p| (SPADCALL |op| (QREFELT % 16) (QREFELT % 71)))
            (EXIT
             (COND ((< |p| 1) (|error| "unknown plex op"))
                   ((EQUAL |op| 'INTSIGN)
                    (|HTMLFORM;formatIntSign| |args| (QREFELT % 8) %))
                   (#2='T
                    (SEQ (LETT |n| (LENGTH |args|))
                         (COND
                          ((SPADCALL |n| 2 (QREFELT % 67))
                           (COND
                            ((SPADCALL |n| 3 (QREFELT % 67))
                             (EXIT
                              (|error|
                               "wrong number of arguments for plex"))))))
                         (LETT |s|
                               (COND
                                ((OR (EQUAL |op| 'SIGMA) (EQUAL |op| 'SIGMA2))
                                 (SPADCALL "&#x02211;" (QREFELT % 63)))
                                ((OR (EQUAL |op| 'PI) (EQUAL |op| 'PI2))
                                 (SPADCALL "&#x0220F;" (QREFELT % 63)))
                                ((EQUAL |op| 'INTSIGN)
                                 (SPADCALL "&#x0222B;" (QREFELT % 63)))
                                (#2#
                                 (SPADCALL
                                  (SPADCALL "formatPlex: unexpected op:"
                                            (SPADCALL |op| (QREFELT % 65))
                                            (QREFELT % 62))
                                  (QREFELT % 63)))))
                         (COND
                          ((EQL |n| 2)
                           (PROGN
                            (LETT #1#
                                  (|HTMLFORM;buildPlex2|
                                   (|HTMLFORM;formatHtml| (|SPADfirst| |args|)
                                    (QREFELT % 8) %)
                                   (|HTMLFORM;formatHtml|
                                    (SPADCALL |args| 2 (QREFELT % 69))
                                    (QREFELT % 8) %)
                                   |s| %))
                            (GO #3=#:G262))))
                         (EXIT
                          (|HTMLFORM;buildPlex3|
                           (|HTMLFORM;formatHtml| (|SPADfirst| |args|)
                            (QREFELT % 8) %)
                           (|HTMLFORM;formatHtml|
                            (SPADCALL |args| 2 (QREFELT % 69)) (QREFELT % 8) %)
                           |s|
                           (|HTMLFORM;formatHtml|
                            (SPADCALL |args| 3 (QREFELT % 69)) (QREFELT % 8) %)
                           %))))))))
          #3# (EXIT #1#)))) 

(SDEFUN |HTMLFORM;formatMatrixRow|
        ((|op| (|String|)) (|arg| (|OutputForm|)) (|prec| (|Integer|))
         (|y| (|Integer|)) (|h| (|Integer|)) (% (|List| (|Tree| (|String|)))))
        (SPROG
         ((|cells| (|List| (|Tree| (|String|)))) (|attrib| (|String|))
          (#1=#:G270 NIL) (|x| NIL) (|w| (|Integer|))
          (|args| (|List| (|OutputForm|))))
         (SEQ
          (COND
           ((QREFELT % 21)
            (|sayHtml|
             (SPADCALL "formatMatrixRow: "
                       (SPADCALL
                        (LIST "op=" |op| " args="
                              (|HTMLFORM;stringify| |arg| %) " prec="
                              (STRINGIMAGE |prec|))
                        (QREFELT % 43))
                       (QREFELT % 62)))))
          (EXIT
           (COND
            ((SPADCALL |arg| (QREFELT % 45))
             (LIST
              (SPADCALL "formatMatrixRow does not contain row"
                        (QREFELT % 63))))
            ('T
             (SEQ (LETT |args| (SPADCALL |arg| (QREFELT % 49)))
                  (LETT |w| (LENGTH |args|)) (LETT |cells| NIL)
                  (SEQ (LETT |x| 1) (LETT #1# |w|) G190
                       (COND ((|greater_SI| |x| #1#) (GO G191)))
                       (SEQ (LETT |attrib| "td id='mat'")
                            (COND ((EQL |x| 1) (LETT |attrib| "td id='matl'")))
                            (COND
                             ((EQL |x| |w|) (LETT |attrib| "td id='matr'")))
                            (COND ((EQL |y| 1) (LETT |attrib| "td id='matt'")))
                            (COND
                             ((EQL |y| |h|) (LETT |attrib| "td id='matb'")))
                            (COND
                             ((EQL |x| 1)
                              (COND
                               ((EQL |y| 1) (LETT |attrib| "td id='matlt'")))))
                            (COND
                             ((EQL |x| 1)
                              (COND
                               ((EQL |y| |h|)
                                (LETT |attrib| "td id='matlb'")))))
                            (COND
                             ((EQL |x| |w|)
                              (COND
                               ((EQL |y| 1) (LETT |attrib| "td id='matrt'")))))
                            (COND
                             ((EQL |x| |w|)
                              (COND
                               ((EQL |y| |h|)
                                (LETT |attrib| "td id='matrb'")))))
                            (EXIT
                             (LETT |cells|
                                   (SPADCALL |cells|
                                             (LIST
                                              (|HTMLFORM;newNode| |attrib|
                                               (|HTMLFORM;formatHtml|
                                                (SPADCALL |args| |x|
                                                          (QREFELT % 69))
                                                |prec| %)
                                               %))
                                             (QREFELT % 72)))))
                       (LETT |x| (|inc_SI| |x|)) (GO G190) G191 (EXIT NIL))
                  (EXIT |cells|)))))))) 

(SDEFUN |HTMLFORM;formatMatrixContent|
        ((|op| (|String|)) (|args| (|List| (|OutputForm|)))
         (|prec| (|Integer|)) (% (|List| (|Tree| (|String|)))))
        (SPROG
         ((|rows| (|List| (|Tree| (|String|)))) (|y| (|Integer|))
          (#1=#:G276 NIL) (|e| NIL) (#2=#:G275 NIL))
         (SEQ
          (COND
           ((QREFELT % 21)
            (|sayHtml|
             (SPADCALL "formatMatrixContent: "
                       (SPADCALL
                        (LIST "op=" |op| " args="
                              (|HTMLFORM;argsToString| |args| %) " prec="
                              (STRINGIMAGE |prec|))
                        (QREFELT % 43))
                       (QREFELT % 62)))))
          (LETT |y| 0)
          (LETT |rows|
                (PROGN
                 (LETT #2# NIL)
                 (SEQ (LETT |e| NIL) (LETT #1# |args|) G190
                      (COND
                       ((OR (ATOM #1#) (PROGN (LETT |e| (CAR #1#)) NIL))
                        (GO G191)))
                      (SEQ
                       (EXIT
                        (LETT #2#
                              (CONS
                               (|HTMLFORM;newNodes| "tr id='mat'"
                                (|HTMLFORM;formatMatrixRow| "ROW" |e| |prec|
                                 (LETT |y| (+ |y| 1)) (LENGTH |args|) %)
                                %)
                               #2#))))
                      (LETT #1# (CDR #1#)) (GO G190) G191
                      (EXIT (NREVERSE #2#)))))
          (EXIT |rows|)))) 

(SDEFUN |HTMLFORM;formatMatrix|
        ((|args| (|List| (|OutputForm|))) (% (|Tree| (|String|))))
        (SEQ
         (COND
          ((QREFELT % 21)
           (|sayHtml|
            (SPADCALL "formatMatrix: "
                      (SPADCALL
                       (LIST "args=" (|HTMLFORM;argsToString| |args| %))
                       (QREFELT % 43))
                      (QREFELT % 62)))))
         (EXIT
          (|HTMLFORM;newNodes| "table border='1' id='mat'"
           (|HTMLFORM;formatMatrixContent| "MATRIX" |args| (QREFELT % 8) %)
           %)))) 

(SDEFUN |HTMLFORM;buildColumnTable|
        ((|elements| (|List| (|Tree| (|String|)))) (% (|Tree| (|String|))))
        (SPROG
         ((|rows| (|List| (|Tree| (|String|)))) (#1=#:G288 NIL) (|i| NIL)
          (#2=#:G287 NIL) (|cells| (|List| (|Tree| (|String|))))
          (#3=#:G286 NIL) (|j| NIL) (#4=#:G285 NIL))
         (SEQ (COND ((QREFELT % 21) (|sayHtml| "buildColumnTable")))
              (LETT |cells|
                    (PROGN
                     (LETT #4# NIL)
                     (SEQ (LETT |j| NIL) (LETT #3# |elements|) G190
                          (COND
                           ((OR (ATOM #3#) (PROGN (LETT |j| (CAR #3#)) NIL))
                            (GO G191)))
                          (SEQ
                           (EXIT
                            (LETT #4#
                                  (CONS
                                   (|HTMLFORM;newNode| "td id='col'" |j| %)
                                   #4#))))
                          (LETT #3# (CDR #3#)) (GO G190) G191
                          (EXIT (NREVERSE #4#)))))
              (LETT |rows|
                    (PROGN
                     (LETT #2# NIL)
                     (SEQ (LETT |i| NIL) (LETT #1# |cells|) G190
                          (COND
                           ((OR (ATOM #1#) (PROGN (LETT |i| (CAR #1#)) NIL))
                            (GO G191)))
                          (SEQ
                           (EXIT
                            (LETT #2#
                                  (CONS
                                   (|HTMLFORM;newNode| "tr id='col'" |i| %)
                                   #2#))))
                          (LETT #1# (CDR #1#)) (GO G190) G191
                          (EXIT (NREVERSE #2#)))))
              (EXIT
               (|HTMLFORM;newNodes| "table border='0' id='col'" |rows| %))))) 

(SDEFUN |HTMLFORM;buildSuperscript|
        ((|main| (|Tree| (|String|))) (|super| (|Tree| (|String|)))
         (% (|Tree| (|String|))))
        (SPROG
         ((|rows| (|List| #1=(|Tree| (|String|)))) (|e| #1#) (|su| #1#)
          (|m| #1#))
         (SEQ (COND ((QREFELT % 21) (|sayHtml| "buildSuperscript")))
              (EXIT
               (COND
                ((|HTMLFORM;notTable?| |super| %)
                 (|HTMLFORM;newNodes| ""
                  (LIST |main| (|HTMLFORM;newNode| "sup" |super| %)) %))
                ('T
                 (SEQ
                  (LETT |m|
                        (|HTMLFORM;newNode| "td rowspan='2' id='sup'" |main|
                         %))
                  (LETT |su| (|HTMLFORM;newNode| "td id='sup'" |super| %))
                  (LETT |e|
                        (|HTMLFORM;newNode| "td id='sup'"
                         (SPADCALL "&nbsp;" (QREFELT % 63)) %))
                  (LETT |rows|
                        (LIST
                         (|HTMLFORM;newNodes| "tr id='sup'" (LIST |m| |su|) %)
                         (|HTMLFORM;newNode| "tr id='sup'" |e| %)))
                  (EXIT
                   (|HTMLFORM;newNodes| "table border='0' id='sup'" |rows|
                    %))))))))) 

(SDEFUN |HTMLFORM;buildSubscript|
        ((|main| (|Tree| (|String|))) (|subsc| (|Tree| (|String|)))
         (% (|Tree| (|String|))))
        (SPROG
         ((|rows| (|List| #1=(|Tree| (|String|)))) (|e| #1#) (|su| #1#)
          (|m| #1#))
         (SEQ (COND ((QREFELT % 21) (|sayHtml| "buildSubscript")))
              (EXIT
               (COND
                ((|HTMLFORM;notTable?| |subsc| %)
                 (|HTMLFORM;newNodes| ""
                  (LIST |main| (|HTMLFORM;newNode| "sub" |subsc| %)) %))
                ('T
                 (SEQ
                  (LETT |m|
                        (|HTMLFORM;newNode| "td rowspan='2' id='sub'" |main|
                         %))
                  (LETT |su| (|HTMLFORM;newNode| "td id='sub'" |subsc| %))
                  (LETT |e|
                        (|HTMLFORM;newNode| "td id='sub'"
                         (SPADCALL "&nbsp;" (QREFELT % 63)) %))
                  (LETT |rows|
                        (LIST
                         (|HTMLFORM;newNodes| "tr id='sub'" (LIST |m| |e|) %)
                         (|HTMLFORM;newNode| "tr id='sub'" |su| %)))
                  (EXIT
                   (|HTMLFORM;newNodes| "table border='0' id='sub'" |rows|
                    %))))))))) 

(SDEFUN |HTMLFORM;formatSub|
        ((|expr| (|OutputForm|)) (|args| (|List| (|OutputForm|)))
         (|opPrec| (|Integer|)) (% (|Tree| (|String|))))
        (SPROG
         ((#1=#:G307 NIL) (#2=#:G309 NIL) (|e| NIL) (#3=#:G308 NIL)
          (|op| (|String|)) (|atomE| (|List| (|OutputForm|))))
         (SEQ
          (EXIT
           (SEQ
            (COND
             ((QREFELT % 21)
              (|sayHtml|
               (SPADCALL "formatSub: "
                         (SPADCALL
                          (LIST "expr=" (|HTMLFORM;stringify| |expr| %)
                                " args=" (|HTMLFORM;argsToString| |args| %)
                                " prec=" (STRINGIMAGE |opPrec|))
                          (QREFELT % 43))
                         (QREFELT % 62)))))
            (LETT |atomE| (|HTMLFORM;atomize| |expr| %))
            (COND
             ((NULL |atomE|)
              (SEQ
               (COND ((QREFELT % 21) (|sayHtml| "formatSub: expr = empty")))
               (EXIT
                (PROGN
                 (LETT #1# (SPADCALL "formatSub: expr = empty" (QREFELT % 63)))
                 (GO #4=#:G306))))))
            (LETT |op| (|HTMLFORM;stringify| (|SPADfirst| |atomE|) %))
            (EXIT
             (COND
              ((SPADCALL |op| "SUB" (QREFELT % 57))
               (SEQ (COND ((QREFELT % 21) (|sayHtml| "formatSub: expr~=SUB")))
                    (EXIT (SPADCALL "formatSub: expr~=SUB" (QREFELT % 63)))))
              ('T
               (SEQ
                (COND
                 ((< (LENGTH |args|) 2)
                  (SEQ
                   (COND
                    ((QREFELT % 21)
                     (|sayHtml|
                      (STRCONC "formatSub: num args="
                               (STRINGIMAGE (LENGTH |args|))))))
                   (EXIT
                    (PROGN
                     (LETT #1#
                           (SPADCALL
                            (STRCONC "formatSub: num args="
                                     (STRINGIMAGE (LENGTH |args|)))
                            (QREFELT % 63)))
                     (GO #4#))))))
                (COND
                 ((> (LENGTH |args|) 2)
                  (SEQ
                   (COND
                    ((QREFELT % 21)
                     (|sayHtml|
                      (STRCONC "formatSub: num args="
                               (STRINGIMAGE (LENGTH |args|))))))
                   (EXIT
                    (PROGN
                     (LETT #1#
                           (|HTMLFORM;buildSubscript|
                            (|HTMLFORM;formatHtml| (|SPADfirst| |args|)
                             |opPrec| %)
                            (|HTMLFORM;newNodes| ""
                             (PROGN
                              (LETT #3# NIL)
                              (SEQ (LETT |e| NIL) (LETT #2# (CDR |args|)) G190
                                   (COND
                                    ((OR (ATOM #2#)
                                         (PROGN (LETT |e| (CAR #2#)) NIL))
                                     (GO G191)))
                                   (SEQ
                                    (EXIT
                                     (LETT #3#
                                           (CONS
                                            (|HTMLFORM;formatHtml| |e| |opPrec|
                                             %)
                                            #3#))))
                                   (LETT #2# (CDR #2#)) (GO G190) G191
                                   (EXIT (NREVERSE #3#))))
                             %)
                            %))
                     (GO #4#))))))
                (EXIT
                 (|HTMLFORM;buildSubscript|
                  (|HTMLFORM;formatHtml| (|SPADfirst| |args|) |opPrec| %)
                  (|HTMLFORM;formatHtml| (SPADCALL |args| 2 (QREFELT % 69))
                   |opPrec| %)
                  %))))))))
          #4# (EXIT #1#)))) 

(SDEFUN |HTMLFORM;formatFunction|
        ((|op| (|OutputForm|)) (|args| (|List| (|OutputForm|)))
         (|prec| (|Integer|)) (% (|Tree| (|String|))))
        (SPROG ((|op1| (|Tree| (|String|))))
               (SEQ (LETT |op1| (|HTMLFORM;formatHtml| |op| (QREFELT % 8) %))
                    (COND
                     ((QREFELT % 21)
                      (|sayHtml|
                       (SPADCALL "formatFunction: "
                                 (SPADCALL
                                  (LIST "args="
                                        (|HTMLFORM;argsToString| |args| %)
                                        " prec=" (STRINGIMAGE |prec|))
                                  (QREFELT % 43))
                                 (QREFELT % 62)))))
                    (EXIT
                     (|HTMLFORM;newNodes| ""
                      (LIST |op1| (SPADCALL "(" (QREFELT % 63))
                            (|HTMLFORM;formatNary| "," |args| (QREFELT % 8) %)
                            (SPADCALL ")" (QREFELT % 63)))
                      %))))) 

(SDEFUN |HTMLFORM;formatNullary| ((|op| (|Symbol|)) (% (|Tree| (|String|))))
        (SPROG ((|res| (|String|)))
               (SEQ
                (LETT |res|
                      (SPADCALL (SPADCALL |op| (QREFELT % 65)) "()"
                                (QREFELT % 62)))
                (COND
                 ((QREFELT % 21)
                  (|sayHtml| (STRCONC "formatNullary: op=" |res|))))
                (EXIT
                 (COND ((EQUAL |op| 'NOTHING) (SPADCALL (QREFELT % 73)))
                       ('T (SPADCALL |res| (QREFELT % 63)))))))) 

(SDEFUN |HTMLFORM;formatUnary|
        ((|op| (|Symbol|)) (|arg| (|OutputForm|)) (|prec| (|Integer|))
         (% (|Tree| (|String|))))
        (SPROG
         ((|s| (|Tree| (|String|))) (|opPrec| (|Integer|)) (|p| (|Integer|)))
         (SEQ
          (COND
           ((QREFELT % 21)
            (|sayHtml|
             (SPADCALL "formatUnary: "
                       (SPADCALL
                        (LIST "op=" (SPADCALL |op| (QREFELT % 65)) " arg="
                              (|HTMLFORM;stringify| |arg| %) " prec="
                              (STRINGIMAGE |prec|))
                        (QREFELT % 43))
                       (QREFELT % 62)))))
          (LETT |p| (SPADCALL |op| (QREFELT % 9) (QREFELT % 71)))
          (EXIT
           (COND ((< |p| 1) (|error| "unknown unary op"))
                 (#1='T
                  (SEQ
                   (LETT |opPrec| (SPADCALL (QREFELT % 10) |p| (QREFELT % 75)))
                   (LETT |s|
                         (|HTMLFORM;newNodes| ""
                          (LIST
                           (SPADCALL (SPADCALL |op| (QREFELT % 65))
                                     (QREFELT % 63))
                           (|HTMLFORM;formatHtml| |arg| |opPrec| %))
                          %))
                   (EXIT
                    (COND
                     ((< |opPrec| |prec|)
                      (|HTMLFORM;newNodes| ""
                       (LIST (SPADCALL "(" (QREFELT % 63)) |s|
                             (SPADCALL ")" (QREFELT % 63)))
                       %))
                     (#1# |s|)))))))))) 

(SDEFUN |HTMLFORM;buildOver|
        ((|top| (|Tree| (|String|))) (|bottom| (|Tree| (|String|)))
         (% (|Tree| (|String|))))
        (SPROG
         ((|rows| (|List| #1=(|Tree| (|String|)))) (|bottomCell| #1#)
          (|topCell| #1#))
         (SEQ (COND ((QREFELT % 21) (|sayHtml| "buildOver")))
              (LETT |topCell| (|HTMLFORM;newNode| "td" |top| %))
              (LETT |bottomCell|
                    (|HTMLFORM;newNode| "td style='border-top-style:solid'"
                     |bottom| %))
              (LETT |rows|
                    (LIST (|HTMLFORM;newNode| "tr id='col'" |topCell| %)
                          (|HTMLFORM;newNode| "tr id='col'" |bottomCell| %)))
              (EXIT
               (|HTMLFORM;newNodes| "table border='0' id='col'" |rows| %))))) 

(SDEFUN |HTMLFORM;formatBinary|
        ((|op| (|Symbol|)) (|args| (|List| (|OutputForm|)))
         (|prec| (|Integer|)) (% (|Tree| (|String|))))
        (SPROG
         ((|aux| (|Tree| (|String|))) (|s2| #1=(|Tree| (|String|))) (|s1| #1#)
          (|opPrec| (|Integer|)) (|p| (|Integer|)))
         (SEQ
          (COND
           ((QREFELT % 21)
            (|sayHtml|
             (SPADCALL "formatBinary: "
                       (SPADCALL
                        (LIST "op=" (SPADCALL |op| (QREFELT % 65)) " args="
                              (|HTMLFORM;argsToString| |args| %) " prec="
                              (STRINGIMAGE |prec|))
                        (QREFELT % 43))
                       (QREFELT % 62)))))
          (LETT |p| (SPADCALL |op| (QREFELT % 11) (QREFELT % 71)))
          (EXIT
           (COND ((< |p| 1) (|error| "unknown binary op"))
                 (#2='T
                  (SEQ
                   (LETT |opPrec| (SPADCALL (QREFELT % 12) |p| (QREFELT % 75)))
                   (LETT |s1|
                         (|HTMLFORM;formatHtml| (|SPADfirst| |args|) |opPrec|
                          %))
                   (LETT |s2|
                         (|HTMLFORM;formatHtml| (|SPADfirst| (CDR |args|))
                          |opPrec| %))
                   (LETT |aux|
                         (COND
                          ((EQUAL |op| '|\||)
                           (|HTMLFORM;newNodes| ""
                            (LIST |s1|
                                  (SPADCALL (SPADCALL |op| (QREFELT % 65))
                                            (QREFELT % 63))
                                  |s2|)
                            %))
                          ((EQUAL |op| '^)
                           (|HTMLFORM;buildSuperscript| |s1| |s2| %))
                          ((EQUAL |op| '/)
                           (|HTMLFORM;newNodes| ""
                            (LIST |s1|
                                  (SPADCALL (SPADCALL |op| (QREFELT % 65))
                                            (QREFELT % 63))
                                  |s2|)
                            %))
                          ((EQUAL |op| 'OVER)
                           (|HTMLFORM;buildOver| |s1| |s2| %))
                          ((EQUAL |op| '->)
                           (|HTMLFORM;newNodes| ""
                            (LIST
                             (|HTMLFORM;formatHtml| (|SPADfirst| |args|) |prec|
                              %)
                             (SPADCALL "&#x02192;" (QREFELT % 63))
                             (|HTMLFORM;formatHtml|
                              (SPADCALL |args| (QREFELT % 66)) |prec| %))
                            %))
                          ((EQUAL |op| '+->)
                           (|HTMLFORM;newNodes| ""
                            (LIST |s1|
                                  (SPADCALL "|&mdash;&rsaquo;" (QREFELT % 63))
                                  |s2|)
                            %))
                          (#2#
                           (|HTMLFORM;newNodes| ""
                            (LIST |s1|
                                  (SPADCALL (SPADCALL |op| (QREFELT % 65))
                                            (QREFELT % 63))
                                  |s2|)
                            %))))
                   (EXIT
                    (COND
                     ((OR (EQUAL |op| 'OVER) (NULL (< |opPrec| |prec|))) |aux|)
                     ('T
                      (|HTMLFORM;newNodes| ""
                       (LIST (SPADCALL "(" (QREFELT % 63)) |aux|
                             (SPADCALL ")" (QREFELT % 63)))
                       %))))))))))) 

(SDEFUN |HTMLFORM;buildZag|
        ((|top| (|Tree| (|String|))) (|lowerLeft| (|Tree| (|String|)))
         (|lowerRight| (|Tree| (|String|))) (% (|Tree| (|String|))))
        (SPROG
         ((|row2| #1=(|Tree| (|String|))) (|row1| #1#)
          (|cellLowerRight| #2=(|Tree| (|String|))) (|cellLowerLeft| #1#)
          (|cellTop| #2#))
         (SEQ (COND ((QREFELT % 21) (|sayHtml| "buildZag")))
              (LETT |cellTop|
                    (|HTMLFORM;newNode|
                     "td colspan='2' id='zag' style='border-bottom-style:solid'"
                     |top| %))
              (LETT |cellLowerLeft|
                    (|HTMLFORM;newNodes| "td id='zag'"
                     (LIST |lowerLeft| (SPADCALL "+" (QREFELT % 63))) %))
              (LETT |cellLowerRight|
                    (|HTMLFORM;newNode| "td id='zag'" |lowerRight| %))
              (LETT |row1|
                    (|HTMLFORM;newNodes| "tr id='zag'" (LIST |cellTop|) %))
              (LETT |row2|
                    (|HTMLFORM;newNodes| "tr id='zag'"
                     (LIST |cellLowerLeft| |cellLowerRight|) %))
              (EXIT
               (|HTMLFORM;newNodes| "table border='0' id='zag'"
                (LIST |row1| |row2|) %))))) 

(SDEFUN |HTMLFORM;formatZag|
        ((|args| (|List| (|OutputForm|))) (|nestLevel| (|Integer|))
         (% (|Tree| (|String|))))
        (SPROG ((|fontAttrib| (|String|)) (|tmpZag| (|List| (|OutputForm|))))
               (SEQ
                (COND
                 ((QREFELT % 21)
                  (|sayHtml|
                   (SPADCALL "formatZag: "
                             (SPADCALL
                              (LIST "args=" (|HTMLFORM;argsToString| |args| %))
                              (QREFELT % 43))
                             (QREFELT % 62)))))
                (EXIT
                 (COND
                  ((SPADCALL (|SPADfirst| |args|) '|...| (QREFELT % 76))
                   (SPADCALL "&#x2026;" (QREFELT % 63)))
                  ((NULL (SPADCALL (|SPADfirst| |args|) 'ZAG (QREFELT % 77)))
                   (SPADCALL
                    (SPADCALL
                     "formatZag: Last argument in ZAG construct unknown operator: "
                     (|HTMLFORM;stringify| (|SPADfirst| |args|) %)
                     (QREFELT % 62))
                    (QREFELT % 63)))
                  ('T
                   (SEQ
                    (LETT |tmpZag|
                          (SPADCALL (|SPADfirst| |args|) (QREFELT % 49)))
                    (LETT |fontAttrib|
                          (COND
                           ((< |nestLevel| 2) "span style='font-size:16px'")
                           ((EQL |nestLevel| 2) "span style='font-size:14px'")
                           ((EQL |nestLevel| 3) "span style='font-size:12px'")
                           ((EQL |nestLevel| 4) "span style='font-size:10px'")
                           (#1='T "span style='font-size:9px'")))
                    (EXIT
                     (COND
                      ((> (LENGTH |args|) 1)
                       (|HTMLFORM;newNode| |fontAttrib|
                        (|HTMLFORM;buildZag|
                         (|HTMLFORM;formatHtml| (|SPADfirst| |tmpZag|)
                          (QREFELT % 8) %)
                         (|HTMLFORM;formatHtml| (|SPADfirst| (CDR |tmpZag|))
                          (QREFELT % 8) %)
                         (|HTMLFORM;formatZag| (CDR |args|) (+ |nestLevel| 1)
                          %)
                         %)
                        %))
                      (#1#
                       (|HTMLFORM;newNode| |fontAttrib|
                        (|HTMLFORM;buildOver|
                         (|HTMLFORM;formatHtml| (|SPADfirst| |tmpZag|)
                          (QREFELT % 8) %)
                         (|HTMLFORM;formatHtml| (|SPADfirst| (CDR |tmpZag|))
                          (QREFELT % 8) %)
                         %)
                        %))))))))))) 

(SDEFUN |HTMLFORM;formatNary|
        ((|op| (|String|)) (|args| (|List| (|OutputForm|)))
         (|prec| (|Integer|)) (% (|Tree| (|String|))))
        (SEQ
         (COND
          ((QREFELT % 21)
           (|sayHtml|
            (SPADCALL "formatNary: "
                      (SPADCALL
                       (LIST "op=" |op| " args="
                             (|HTMLFORM;argsToString| |args| %) " prec="
                             (STRINGIMAGE |prec|))
                       (QREFELT % 43))
                      (QREFELT % 62)))))
         (EXIT (|HTMLFORM;formatNaryNoGroup| |op| |args| |prec| %)))) 

(SDEFUN |HTMLFORM;formatNaryNoGroup|
        ((|op| (|String|)) (|args| (|List| (|OutputForm|)))
         (|prec| (|Integer|)) (% (|Tree| (|String|))))
        (SPROG
         ((|tags| (|List| (|Tree| (|String|)))) (#1=#:G347 NIL) (|a| NIL)
          (|opPrec| (|Integer|)) (|l| (|Tree| (|String|))) (|tmpS| (|String|))
          (|p| (|Integer|)))
         (SEQ
          (COND
           ((QREFELT % 21)
            (|sayHtml|
             (SPADCALL "formatNaryNoGroup: "
                       (SPADCALL
                        (LIST "op=" |op| " args="
                              (|HTMLFORM;argsToString| |args| %) " prec="
                              (STRINGIMAGE |prec|))
                        (QREFELT % 43))
                       (QREFELT % 62)))))
          (EXIT
           (COND ((NULL |args|) (SPADCALL (QREFELT % 73)))
                 (#2='T
                  (SEQ (LETT |p| (SPADCALL |op| (QREFELT % 13) (QREFELT % 78)))
                       (EXIT
                        (COND ((< |p| 1) (|error| "unknown nary op"))
                              (#2#
                               (SEQ
                                (COND
                                 ((> (LENGTH |args|) 1)
                                  (COND
                                   ((>
                                     (SPADCALL "ZAG"
                                               (|HTMLFORM;stringify|
                                                (|SPADfirst| (CDR |args|)) %)
                                               1 (QREFELT % 68))
                                     0)
                                    (EXIT
                                     (SEQ
                                      (LETT |tmpS|
                                            (|HTMLFORM;stringify|
                                             (|SPADfirst| |args|) %))
                                      (EXIT
                                       (COND
                                        ((>
                                          (SPADCALL "ZAG" |tmpS| 1
                                                    (QREFELT % 68))
                                          0)
                                         (|HTMLFORM;formatZag| |args| 1 %))
                                        (#2#
                                         (|HTMLFORM;newNodes| ""
                                          (LIST
                                           (|HTMLFORM;formatHtml|
                                            (|SPADfirst| |args|) (QREFELT % 8)
                                            %)
                                           (SPADCALL "+" (QREFELT % 63))
                                           (|HTMLFORM;formatZag| (CDR |args|) 1
                                            %))
                                          %))))))))))
                                (LETT |l| (SPADCALL (QREFELT % 73)))
                                (EXIT
                                 (COND ((NULL |args|) |l|)
                                       (#2#
                                        (SEQ
                                         (LETT |opPrec|
                                               (SPADCALL (QREFELT % 14) |p|
                                                         (QREFELT % 75)))
                                         (COND
                                          ((< |opPrec| |prec|)
                                           (LETT |tags|
                                                 (LIST
                                                  (SPADCALL "(" (QREFELT % 63))
                                                  (|HTMLFORM;formatHtml|
                                                   (SPADCALL |args| 1
                                                             (QREFELT % 69))
                                                   |opPrec| %)))))
                                         (COND
                                          ((>= |opPrec| |prec|)
                                           (LETT |tags|
                                                 (LIST
                                                  (|HTMLFORM;formatHtml|
                                                   (SPADCALL |args| 1
                                                             (QREFELT % 69))
                                                   |opPrec| %)))))
                                         (SEQ (LETT |a| NIL)
                                              (LETT #1# (CDR |args|)) G190
                                              (COND
                                               ((OR (ATOM #1#)
                                                    (PROGN
                                                     (LETT |a| (CAR #1#))
                                                     NIL))
                                                (GO G191)))
                                              (SEQ
                                               (COND
                                                ((OR
                                                  (SPADCALL |op| "+"
                                                            (QREFELT % 57))
                                                  (NULL
                                                   (SPADCALL |a| '-
                                                             (QREFELT % 77))))
                                                 (LETT |tags|
                                                       (SPADCALL |tags|
                                                                 (LIST
                                                                  (SPADCALL
                                                                   |op|
                                                                   (QREFELT %
                                                                            63)))
                                                                 (QREFELT %
                                                                          72)))))
                                               (EXIT
                                                (LETT |tags|
                                                      (SPADCALL |tags|
                                                                (LIST
                                                                 (|HTMLFORM;formatHtml|
                                                                  |a| |opPrec|
                                                                  %))
                                                                (QREFELT %
                                                                         72)))))
                                              (LETT #1# (CDR #1#)) (GO G190)
                                              G191 (EXIT NIL))
                                         (COND
                                          ((< |opPrec| |prec|)
                                           (LETT |tags|
                                                 (SPADCALL |tags|
                                                           (LIST
                                                            (SPADCALL ")"
                                                                      (QREFELT
                                                                       % 63)))
                                                           (QREFELT % 72)))))
                                         (EXIT
                                          (|HTMLFORM;newNodes| "" |tags|
                                           %))))))))))))))))) 

(SDEFUN |HTMLFORM;formatHtml|
        ((|expr| (|OutputForm|)) (|prec| (|Integer|)) (% (|Tree| (|String|))))
        (SPROG
         ((|op| (|Symbol|)) (|nargs| (|Integer|))
          (|args| (|List| (|OutputForm|))) (|opf| (|OutputForm|))
          (|str| (|String|)) (#1=#:G362 NIL) (|i| (|Integer|)))
         (SEQ
          (EXIT
           (SEQ
            (COND
             ((QREFELT % 21)
              (|sayHtml|
               (SPADCALL "formatHtml: "
                         (SPADCALL
                          (LIST "arg="
                                (|HTMLFORM;argsToString| (LIST |expr|) %)
                                " prec=" (STRINGIMAGE |prec|))
                          (QREFELT % 43))
                         (QREFELT % 62)))))
            (EXIT
             (COND
              ((SPADCALL |expr| (QREFELT % 45))
               (SEQ
                (COND
                 ((QREFELT % 21)
                  (|sayHtml|
                   (SPADCALL "formatHtml atom: "
                             (SPADCALL
                              (LIST "expr=" (|HTMLFORM;stringify| |expr| %)
                                    " prec=" (STRINGIMAGE |prec|))
                              (QREFELT % 43))
                             (QREFELT % 62)))))
                (COND
                 ((SPADCALL |expr| (QREFELT % 79))
                  (SEQ (LETT |op| (SPADCALL |expr| (QREFELT % 80)))
                       (LETT |i| (SPADCALL |op| (QREFELT % 19) (QREFELT % 71)))
                       (EXIT
                        (COND
                         ((> |i| 0)
                          (PROGN
                           (LETT #1#
                                 (SPADCALL
                                  (SPADCALL (QREFELT % 20) |i| (QREFELT % 56))
                                  (QREFELT % 63)))
                           (GO #2=#:G361))))))))
                (LETT |str| (|HTMLFORM;stringify| |expr| %))
                (EXIT (SPADCALL |str| (QREFELT % 63)))))
              (#3='T
               (SEQ (LETT |opf| (SPADCALL |expr| (QREFELT % 47)))
                    (LETT |args| (SPADCALL |expr| (QREFELT % 49)))
                    (LETT |nargs| (LENGTH |args|))
                    (EXIT
                     (COND
                      ((SPADCALL |opf| (QREFELT % 79))
                       (SEQ (LETT |op| (SPADCALL |opf| (QREFELT % 80)))
                            (EXIT
                             (COND
                              ((EQUAL |op| 'SUPERSUB)
                               (|HTMLFORM;formatSuperSub| |opf| |args|
                                (QREFELT % 8) %))
                              ((EQUAL |op| 'SUB)
                               (|HTMLFORM;formatSub| |opf| |args| (QREFELT % 8)
                                %))
                              ((SPADCALL |op| (QREFELT % 18) (QREFELT % 81))
                               (|HTMLFORM;formatSpecial| |op| |args| |prec| %))
                              ((SPADCALL |op| (QREFELT % 16) (QREFELT % 81))
                               (|HTMLFORM;formatPlex| |op| |args| |prec| %))
                              ((EQL 0 |nargs|)
                               (|HTMLFORM;formatNullary| |op| %))
                              (#3#
                               (SEQ
                                (COND
                                 ((EQL 1 |nargs|)
                                  (COND
                                   ((SPADCALL |op| (QREFELT % 9)
                                              (QREFELT % 81))
                                    (EXIT
                                     (|HTMLFORM;formatUnary| |op|
                                      (|SPADfirst| |args|) |prec| %))))))
                                (COND
                                 ((EQL 2 |nargs|)
                                  (COND
                                   ((SPADCALL |op| (QREFELT % 11)
                                              (QREFELT % 81))
                                    (EXIT
                                     (|HTMLFORM;formatBinary| |op| |args|
                                      |prec| %))))))
                                (EXIT
                                 (COND
                                  ((SPADCALL |op| (QREFELT % 15)
                                             (QREFELT % 81))
                                   (|HTMLFORM;formatNaryNoGroup|
                                    (SPADCALL |op| (QREFELT % 65)) |args|
                                    |prec| %))
                                  ((SPADCALL (SPADCALL |op| (QREFELT % 65))
                                             (QREFELT % 13) (QREFELT % 82))
                                   (|HTMLFORM;formatNary|
                                    (SPADCALL |op| (QREFELT % 65)) |args|
                                    |prec| %))
                                  (#3#
                                   (|HTMLFORM;formatFunction| |opf| |args|
                                    |prec| %))))))))))
                      (#3#
                       (|HTMLFORM;formatFunction| |opf| |args| |prec|
                        %))))))))))
          #2# (EXIT #1#)))) 

(DECLAIM (NOTINLINE |HTMLFormat;|)) 

(DEFUN |HTMLFormat| ()
  (SPROG NIL
         (PROG (#1=#:G364)
           (RETURN
            (COND
             ((LETT #1# (HGET |$ConstructorCache| '|HTMLFormat|))
              (|CDRwithIncrement| (CDAR #1#)))
             ('T
              (UNWIND-PROTECT
                  (PROG1
                      (CDDAR
                       (HPUT |$ConstructorCache| '|HTMLFormat|
                             (LIST (CONS NIL (CONS 1 (|HTMLFormat;|))))))
                    (LETT #1# T))
                (COND
                 ((NOT #1#) (HREM |$ConstructorCache| '|HTMLFormat|)))))))))) 

(DEFUN |HTMLFormat;| ()
  (SPROG ((|dv$| NIL) (% NIL) (|pv$| NIL))
         (PROGN
          (LETT |dv$| '(|HTMLFormat|))
          (LETT % (GETREFV 83))
          (QSETREFV % 0 |dv$|)
          (QSETREFV % 3 (LETT |pv$| (|buildPredVector| 0 0 NIL)))
          (|haddProp| |$ConstructorCache| '|HTMLFormat| NIL (CONS 1 %))
          (|stuffDomainSlots| %)
          (SETF |pv$| (QREFELT % 3))
          (QSETREFV % 6 " \\  ")
          (QSETREFV % 7 1000000)
          (QSETREFV % 8 0)
          (QSETREFV % 9 '(-))
          (QSETREFV % 10 '(700))
          (QSETREFV % 11 '(+-> |\|| ^ / < > = OVER ->))
          (QSETREFV % 12 (LIST 0 0 900 700 400 400 400 700 1001))
          (QSETREFV % 13
                    (LIST "-" "+" "*" (QREFELT % 6) "," ";" " " "ROW" ""
                          " \\cr " "&" "/\\" "\\/"))
          (QSETREFV % 14 (LIST 700 700 800 800 110 110 0 0 0 0 0 600 600))
          (QSETREFV % 15 '(ROW &))
          (QSETREFV % 16 '(SIGMA SIGMA2 PI PI2 INTSIGN))
          (QSETREFV % 17 '(700 800 700 800 700))
          (QSETREFV % 18
                    '(MATRIX BRACKET BRACE CONCATB VCONCAT AGGLST CONCAT
                      OVERBAR ROOT SUB ~> SUPERSUB ZAG AGGSET SC PAREN SEGMENT
                      QUOTE |theMap| SLASH))
          (QSETREFV % 19
                    '(|cos| |cot| |csc| |log| |sec| |sin| |tan| |cosh| |coth|
                      |csch| |sech| |sinh| |tanh| |acos| |asin| |atan| |erf|
                      |...| $ |infinity| |Gamma| |%pi| |%e| |%i|))
          (QSETREFV % 20
                    (LIST "cos" "cot" "csc" "log" "sec" "sin" "tan" "cosh"
                          "coth" "csch" "sech" "sinh" "tanh" "arccos" "arcsin"
                          "arctan" "erf" "&#x2026;" "$" "&#x221E;" "&#x0413;"
                          "&#x003C0;" "&#x02147;" "&#x02148;"))
          (QSETREFV % 21 NIL)
          %))) 

(MAKEPROP '|HTMLFormat| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL '|blank| '|maxPrec| '|minPrec|
              '|unaryOps| '|unaryPrecs| '|binaryOps| '|binaryPrecs| '|naryOps|
              '|naryPrecs| '|naryNGOps| '|plexOps| '|plexPrecs| '|specialOps|
              '|specialStrings| '|specialStringsInHTML| '|debug| (|OutputForm|)
              (|OutputFormTools|) (0 . |precondition|) (|String|)
              |HTMLFORM;coerce;OfS;1| |HTMLFORM;coerceS;OfS;2|
              |HTMLFORM;coerceL;OfS;3| (|Void|) (5 . |void|)
              |HTMLFORM;display;SV;4| (|List| %) (|Tree| 25) (9 . |tree|)
              (15 . |setvalue!|) (|Boolean|) (21 . |empty?|) (26 . |leaf?|)
              (31 . |value|) (36 . |prefix?|) (42 . |children|)
              |HTMLFORM;exprex;OfS;9| (47 . |concat|) (52 . |empty?|)
              (57 . |atom?|) (62 . |atom_to_string|) (67 . |operator|)
              (|List| 22) (72 . |arguments|) (77 . |append|) (|Integer|)
              (|Character|) (83 . |position|) (90 . |split|) (|List| 25)
              (96 . |elt|) (102 . ~=) (108 . |leaf?|) (|Mapping| 36 33)
              (|List| 33) (113 . |every?|) (119 . |elt|) (125 . |tree|)
              (|Symbol|) (130 . |string|) (135 . |second|) (140 . ~=)
              (146 . |position|) (153 . |elt|) (|List| 64) (159 . |position|)
              (165 . |append|) (171 . |empty|) (|List| 51) (175 . |elt|)
              (181 . |is_symbol?|) (187 . |has_op?|) (193 . |position|)
              (199 . |symbol?|) (204 . |symbol|) (209 . |member?|)
              (215 . |member?|))
           '#(~= 221 |latex| 227 |exprex| 232 |display| 237 |coerceS| 242
              |coerceL| 247 |coerce| 252 = 262)
           'NIL
           (CONS (|makeByteWordVec2| 1 '(0 0 0))
                 (CONS '#(|SetCategory&| NIL |BasicType&|)
                       (CONS
                        '#((|SetCategory|) (|CoercibleTo| 22) (|BasicType|))
                        (|makeByteWordVec2| 82
                                            '(1 23 22 22 24 0 29 0 30 2 33 0 25
                                              32 34 2 33 25 0 25 35 1 33 36 0
                                              37 1 33 36 0 38 1 33 25 0 39 2 25
                                              36 0 0 40 1 33 32 0 41 1 25 0 32
                                              43 1 23 36 22 44 1 23 36 22 45 1
                                              23 25 22 46 1 23 22 22 47 1 23 48
                                              22 49 2 48 0 0 0 50 3 25 51 52 0
                                              51 53 2 25 32 0 52 54 2 55 25 0
                                              51 56 2 25 36 0 0 57 1 48 36 0 58
                                              2 60 36 59 0 61 2 25 0 0 0 62 1
                                              33 0 25 63 1 64 25 0 65 1 48 22 0
                                              66 2 51 36 0 0 67 3 25 51 0 0 51
                                              68 2 48 22 0 51 69 2 70 51 64 0
                                              71 2 60 0 0 0 72 0 33 0 73 2 74
                                              51 0 51 75 2 23 36 22 64 76 2 23
                                              36 22 64 77 2 55 51 25 0 78 1 23
                                              36 22 79 1 23 64 22 80 2 70 36 64
                                              0 81 2 55 36 25 0 82 2 0 36 0 0 1
                                              1 0 25 0 1 1 0 25 22 42 1 0 29 25
                                              31 1 0 25 22 27 1 0 25 22 28 1 0
                                              22 0 1 1 0 25 22 26 2 0 36 0 0
                                              1)))))
           '|lookupComplete|)) 
