| SYMBOL "\\frac"; p1 = SELF; p2 = SELF ->
return_term loc (Layout (Frac (p1, p2)))
| SYMBOL "\\sqrt"; p = SELF -> return_term loc (Layout (Sqrt p))
- | SYMBOL "\\root"; index = SELF; SYMBOL "\\OF"; arg = SELF ->
+ | SYMBOL "\\root"; index = SELF; SYMBOL "\\of"; arg = SELF ->
return_term loc (Layout (Root (arg, index)))
| "hbox"; LPAREN; p = l1_pattern; RPAREN ->
return_term loc (Layout (Box ((H, false, false), p)))