From 7419778f059a3a44bd3b0ec23facd7f27a479324 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 28 May 2009 04:40:50 +0000
Subject: 	* interp/newaux.lisp: Bot / and /\ are gliphs. 	*
 interp/sys-constants.boot ($OperatorFunctionNames): Include /\ 	and
 \/. 	* interp/fnewmeta.lisp (|PARSE-ReductionOp|): Tidy. 	*
 interp/metalex.lisp (|PARSE-OperatorFunctionName|): Likewise. 	*
 algebra/boolean.spad.pamphlet (PropositionalLogic): Use plain 	syntax for
 operators. 	(Logic): Likewise. 	(Boolean): Likewise. 
 (KleeneTrivalentLogic): Likewise.

---
 src/interp/metalex.lisp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/interp/metalex.lisp')

diff --git a/src/interp/metalex.lisp b/src/interp/metalex.lisp
index f89ebf6e..18183d0d 100644
--- a/src/interp/metalex.lisp
+++ b/src/interp/metalex.lisp
@@ -637,9 +637,10 @@ as keywords.")
 (defun-parse-token ARGUMENT-DESIGNATOR)
 
 (defun |PARSE-OperatorFunctionName| ()
-  (let ((tok (match-current-token 'keyword)))
+  (let ((tok (or (match-current-token 'keyword)
+		 (match-current-token 'gliph))))
     (when (and tok (member (token-symbol tok) |$OperatorFunctionNames|))
-      (Push-Reduction 'IDENTIFIER-TOKEN
+      (Push-Reduction '|PARSE-OperatorFunctionName|
 		      (copy-tree (token-symbol tok)))
       (action (advance-token)))))
 
-- 
cgit v1.2.3