another little step

Author: mmatera

mathics/builtin/arithfns/basic.py

@@ -577,7 +577,9 @@ class Power(BinaryOperator, _MPMathFunction):
             'Infix[{HoldForm[x], HoldForm[y]}, "^", 590, Right]'
         ),
         ("", "x_ ^ y_"): (
-            "PrecedenceForm[Superscript[PrecedenceForm[HoldForm[x], 590],"
+            #    "PrecedenceForm[Superscript[PrecedenceForm[HoldForm[x], 590],"
+            #    "  HoldForm[y]], 590]"
+            "PrecedenceForm[Superscript[HoldForm[x],"
             "  HoldForm[y]], 590]"
         ),
         ("", "x_ ^ y_?Negative"): (

mathics/builtin/atomic/symbols.py

@@ -556,7 +556,7 @@ def lhs(expr):
                         return Expression(SymbolFormat, expr, Symbol(format))
 
                     def rhs(expr):
-                        if expr.has_formf(SymbolInfix, None):
+                        if expr.has_form(SymbolInfix, None):
                             expr = Expression(
                                 Expression(SymbolHoldForm, expr.head), *expr.elements
                             )