diff options
Diffstat (limited to 'src/algebra/symbol.spad.pamphlet')
| -rw-r--r-- | src/algebra/symbol.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/symbol.spad.pamphlet b/src/algebra/symbol.spad.pamphlet index cde5e9ac..cb29a702 100644 --- a/src/algebra/symbol.spad.pamphlet +++ b/src/algebra/symbol.spad.pamphlet @@ -191,7 +191,7 @@ Symbol(): Exports == Implementation where -- Scripts ==> Record(sub:L,sup:L,presup:L,presub:L,args:L) latex e == s : String := (PNAME(name e)$Lisp) pretend String - if #s > 1 and s.1 ^= char "\" then + if #s > 1 and s.1 ~= char "\" then s := concat("\mbox{\it ", concat(s, "}")$String)$String not scripted? e => s ss : Scripts := scripts e |