From 001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 3 Apr 2008 04:23:42 +0000
Subject: Replace `^=' with `~='.

---
 src/algebra/symbol.spad.pamphlet | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/algebra/symbol.spad.pamphlet')

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
-- 
cgit v1.2.3