k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Precedence ">" does not show in latex output

From: Omar Duhaiby <3omarz AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] Precedence ">" does not show in latex output
Date: Sat, 7 Jun 2014 23:23:45 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

perhaps add a subscript to the "|" that says "higher precedence" or just ">".

On Sat, Jun 7, 2014 at 11:21 PM, Omar Duhaiby <3omarz AT gmail.com> wrote:

Hello,

In syntax, the precedence among multiple productions, denoted by the ">" operator, is not shown in the latex output. I know it's not standard BNF but that is omitting important information and we should find a solution.

Thank you

[K-user] Precedence ">" does not show in latex output, Omar Duhaiby, 06/07/2014
- Re: [K-user] Precedence ">" does not show in latex output, Omar Duhaiby, 06/07/2014
  - Re: [K-user] Precedence ">" does not show in latex output, Rosu, Grigore, 06/09/2014