aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/tex.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/tex.spad.pamphlet')
-rw-r--r--src/algebra/tex.spad.pamphlet16
1 files changed, 8 insertions, 8 deletions
diff --git a/src/algebra/tex.spad.pamphlet b/src/algebra/tex.spad.pamphlet
index 7577e3f4..adc11106 100644
--- a/src/algebra/tex.spad.pamphlet
+++ b/src/algebra/tex.spad.pamphlet
@@ -424,19 +424,19 @@ TexFormat(): public == private where
args := rest args
null args => concat(form)$S
tmp : S := formatTex(first args, minPrec)
- if (tmp ^= "") and (tmp ^= "{}") and (tmp ^= " ") then
+ if (tmp ~= "") and (tmp ~= "{}") and (tmp ~= " ") then
form := append(form,[" \sb ",group tmp])$(List S)
-- superscripts
args := rest args
null args => group concat(form)$S
tmp : S := formatTex(first args, minPrec)
- if (tmp ^= "") and (tmp ^= "{}") and (tmp ^= " ") then
+ if (tmp ~= "") and (tmp ~= "{}") and (tmp ~= " ") then
form := append(form,[" \sp ",group tmp])$(List S)
-- presuperscripts
args := rest args
null args => group concat(form)$S
tmp : S := formatTex(first args, minPrec)
- if (tmp ^= "") and (tmp ^= "{}") and (tmp ^= " ") then
+ if (tmp ~= "") and (tmp ~= "{}") and (tmp ~= " ") then
form := append([" \sp ",group tmp],form)$(List S)
prescript := true
-- presubscripts
@@ -446,7 +446,7 @@ TexFormat(): public == private where
prescript => cons("{}",form)
form
tmp : S := formatTex(first args, minPrec)
- if (tmp ^= "") and (tmp ^= "{}") and (tmp ^= " ") then
+ if (tmp ~= "") and (tmp ~= "{}") and (tmp ~= " ") then
form := append([" \sb ",group tmp],form)$(List S)
prescript := true
group concat
@@ -469,7 +469,7 @@ TexFormat(): public == private where
p < 1 => error "unknown Tex unary op"
opPrec := plexPrecs.p
n : I := #args
- (n ^= 2) and (n ^= 3) => error "wrong number of arguments for plex"
+ (n ~= 2) and (n ~= 3) => error "wrong number of arguments for plex"
s : S :=
op = "SIGMA" => "\sum"
op = "SIGMA2" => "\sum"
@@ -480,12 +480,12 @@ TexFormat(): public == private where
"????"
hold := formatTex(first args,minPrec)
args := rest args
- if op ^= "INDEFINTEGRAL" then
- if hold ^= "" then
+ if op ~= "INDEFINTEGRAL" then
+ if hold ~= "" then
s := concat [s," \sb",group concat ["\displaystyle ",hold]]
if not null rest args then
hold := formatTex(first args,minPrec)
- if hold ^= "" then
+ if hold ~= "" then
s := concat [s," \sp",group concat ["\displaystyle ",hold]]
args := rest args
s := concat [s," ",formatTex(first args,minPrec)]