Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:53613 helo=jukni.digitalkingdom.org)
	by stodi.digitalkingdom.org with smtp (Exim 4.80.1)
	(envelope-from <apache@digitalkingdom.org>)
	id 1X7IOf-0004bY-95; Tue, 15 Jul 2014 23:08:58 -0700
Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Tue, 15 Jul 2014 23:08:57 -0700
From: "Apache" <apache@digitalkingdom.org>
Date: Tue, 15 Jul 2014 23:08:57 -0700
To: webmaster@lojban.org, curtis289@att.net
Subject: [jvsw] Definition Added At Word gu'ai -- By krtisfranks
Bcc: jbovlaste-admin@lojban.org
Message-ID: <53c616f9.prPx+tS/dBuKxh+W%webmaster@lojban.org>
User-Agent: Heirloom mailx 12.5 7/5/10
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Spam-Score: -0.9 (/)
X-Spam_score: -0.9
X-Spam_score_int: -8
X-Spam_bar: /




In jbovlaste, the user krtisfranks has added a
definition of "gu'ai" in the language "English".

New Data:

	Definition:
		binary operator: left group action $g.x$

	Notes:
		a.b = (a,b), where a is the group element and b is an element of the set. The type/description/label/name may be subscripted or denoted by function notation, as might be the group to which it belongs and/or the set upon which it acts (typically, the label should denote in the order: group, set, descriptor).

	Jargon:
		

	Gloss Keywords:
		Word: group action, In Sense: binary operation; left

	Place Keywords:




You can go to <http://jbovlaste.lojban.org/dict/gu'ai> to see it.