diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-04-03 04:23:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-04-03 04:23:42 +0000 |
| commit | 001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 (patch) | |
| tree | da9e2fe5d81ff4cd7709d12e44b8c3e348b8a8e3 /src/algebra/tex.spad.pamphlet | |
| parent | a7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff) | |
| download | open-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz | |
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/tex.spad.pamphlet')
| -rw-r--r-- | src/algebra/tex.spad.pamphlet | 16 |
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)] |