Received-SPF: pass (google.com: domain of zsbana@gmail.com designates 2607:f8b0:400d:c01::229 as permitted sender) client-ip=2607:f8b0:400d:c01::229;
MIME-Version: 1.0
Reply-To: lojban@googlegroups.com
Sender: lojban@googlegroups.com
In-Reply-To: <CAO7bV+j9EkvSpPTckYLPiBKvRqA+n-eY1gUxNyVr_-0_gfioRg@mail.gmail.com>
References: <CAO7bV+j9EkvSpPTckYLPiBKvRqA+n-eY1gUxNyVr_-0_gfioRg@mail.gmail.com>
Date: Wed, 21 May 2014 09:46:57 +0200
Message-ID: <CAHku1CEvfV7EAjCugyrPMrep_NV3UECpTben58RnUg6TB8oT5A@mail.gmail.com>
Subject: Re: [lojban] guheks and geks for operators
From: =?UTF-8?Q?Zsb=C3=A1n_Ambrus?= <ambrus@math.bme.hu>
To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Content-Type: text/plain; charset=UTF-8
X-Spam_score: -0.0
X-Spam_score_int: 0
X-Spam_bar: /

On 5/21/14, Gleki Arxokuna <gleki.is.my.name@gmail.com> wrote:
> http://dag.github.io/cll/14/17/
> ----
> Example 17.4) contradicts what is stated before. It is not parsed
>
> Is it an error in CLL? Has it been already described?

There's more where this came from.  In chapter 18, see

http://dag.github.io/cll/18/17/

This repeats the same mistake in example 17.5.  That example too
should use {gu'e} instead of {ge} because it tries to connect mekso
operators.

Further, in the same page, the English translation of 17.6 is missing
the division bar, also "then x = " should be vertically aligned with
the division bar rather that with the numerator.  This is probably a
formatting problem that got created during conversion.

--
mi'e .ionac.

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.