* [NTG-context] Luametatex: nesting alignments in display math formulas
@ 2024-11-10 1:36 ntg-contextmailingli.expedited080--- via ntg-context
2024-11-10 8:20 ` [NTG-context] " Mikael Sundqvist
0 siblings, 1 reply; 3+ messages in thread
From: ntg-contextmailingli.expedited080--- via ntg-context @ 2024-11-10 1:36 UTC (permalink / raw)
To: mailing list for ConTeXt users; +Cc: ntg-contextmailingli.expedited080
I'm test driving luametatex. My needs usually extend to expressing formulas in TLA+ using nested display math formulas. Although I have suitable templates for doing this in Mark IV, I can't reproduce these satisfactorily in luametatex. For example, here's a formula from Leslie Lamport's 2006 "Lower Bounds for Asynchronous Consensus":
~~~~~~~~~~~ transitive_reduction.tex ~~~~~~~~~~~~~
\define\lbr {\lbrace \mkern 0.9mu}
\define\rbr {{}\mkern 0.9mu \rbrace}
\define\∀ {∀\mkern1mu}
\define\∃ {∃\mkern2mu}
\startdocument
\startplaceformula
\startformula [split=yes, align=flushleft, margin=standard, interlinespace=1ex]
\bgroup \setupinterlinespace [line=1ex]
\startalign [n=1, align={left,left}]
\NC \text{\it TransitiveClosure}(R) ≜
\NR
\NC \quad
\bgroup \setupinterlinespace [line=1ex]
\startalign [n=2, align={left,left,left}, location=top]
\NC \text{\sc let} \quad
\NC \bgroup \setupinterlinespace [line=1ex]
\startalign [n=1, align={left,left}, location=top]
\NC \text{\it Dom} ≜ \lbr r[1]: r ∈ R \rbr
\NR
\NC \text{\it Rng} ≜ \lbr r[2]: r ∈ R \rbr
\NR
\NC \text{\it TC}[i ∈ ℕ] ≜
\NR
\NC \quad
\bgroup \setupinterlinespace [line=1ex]
\startalign [n=1, align={left,left}, location=top]
\NC \text{\sc if}\ i = 0\
\bgroup \setupinterlinespace [line=1ex]
\startalign [n=2, align={left,left,left}, location=top]
\NC \text{\sc then}\
\NC R
\NR
\NC \text{\sc else}\
\NC
\bgroup \setupinterlinespace [line=1ex]
\startalign [n=1, align={left,left}, location=top]
\NC \lbr
〈d, e 〉∈ \text{\it Dom} × \text{\it Rng}:
\NR
\NC \quad \∃ c ∈ \text{\it Dom} ∩ \text{\it Rng}:
\bgroup \setupinterlinespace [line=1ex]
\startalign [n=1, align={left,left}, location=top]
\NC ∧ 〈d, c〉∈ \text{\it TC}[i-1]
\NR
\NC ∧ 〈c, e〉∈ R \,\rbr
\NR
\stopalign \egroup
\NR
\stopalign \egroup
\NR
\stopalign \egroup
\NR
\stopalign \egroup
\NR
\stopalign \egroup
\NR
\NC \text{\sc in}\
\NC \text{\sc union}\ \lbr \text{\it TC}[i] : i ∈ ℕ \rbr
\NR
\stopalign \egroup
\NR
\stopalign \egroup \stopformula \stopplaceformula
\stopdocument
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The command
$ context --luatex transitive_reduction.tex
produces the desired result, but
$ context transitive_reduction.tex
rejects the alignments and centers the lines instead. Can anyone suggest how I might adapt such nesting of alignments to luametatex?
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the Wiki!
maillist : ntg-context@ntg.nl / https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl
webpage : https://www.pragma-ade.nl / https://context.aanhet.net (mirror)
archive : https://github.com/contextgarden/context
wiki : https://wiki.contextgarden.net
___________________________________________________________________________________
^ permalink raw reply [flat|nested] 3+ messages in thread
* [NTG-context] Re: Luametatex: nesting alignments in display math formulas
2024-11-10 1:36 [NTG-context] Luametatex: nesting alignments in display math formulas ntg-contextmailingli.expedited080--- via ntg-context
@ 2024-11-10 8:20 ` Mikael Sundqvist
2024-11-10 15:24 ` ntg-contextmailingli.expedited080--- via ntg-context
0 siblings, 1 reply; 3+ messages in thread
From: Mikael Sundqvist @ 2024-11-10 8:20 UTC (permalink / raw)
To: mailing list for ConTeXt users
Hi,
On Sun, Nov 10, 2024 at 2:45 AM ntg-contextmailingli.expedited080---
via ntg-context <ntg-context@ntg.nl> wrote:
>
> I'm test driving luametatex. My needs usually extend to expressing formulas in TLA+ using nested display math formulas. Although I have suitable templates for doing this in Mark IV, I can't reproduce these satisfactorily in luametatex. For example, here's a formula from Leslie Lamport's 2006 "Lower Bounds for Asynchronous Consensus":
>
> ~~~~~~~~~~~ transitive_reduction.tex ~~~~~~~~~~~~~
>
> \define\lbr {\lbrace \mkern 0.9mu}
> \define\rbr {{}\mkern 0.9mu \rbrace}
> \define\∀ {∀\mkern1mu}
> \define\∃ {∃\mkern2mu}
>
> \startdocument
>
> \startplaceformula
> \startformula [split=yes, align=flushleft, margin=standard, interlinespace=1ex]
> \bgroup \setupinterlinespace [line=1ex]
> \startalign [n=1, align={left,left}]
>
> \NC \text{\it TransitiveClosure}(R) ≜
> \NR
>
> \NC \quad
> \bgroup \setupinterlinespace [line=1ex]
> \startalign [n=2, align={left,left,left}, location=top]
>
> \NC \text{\sc let} \quad
> \NC \bgroup \setupinterlinespace [line=1ex]
> \startalign [n=1, align={left,left}, location=top]
>
> \NC \text{\it Dom} ≜ \lbr r[1]: r ∈ R \rbr
> \NR
>
> \NC \text{\it Rng} ≜ \lbr r[2]: r ∈ R \rbr
> \NR
>
> \NC \text{\it TC}[i ∈ ℕ] ≜
> \NR
>
> \NC \quad
> \bgroup \setupinterlinespace [line=1ex]
> \startalign [n=1, align={left,left}, location=top]
>
> \NC \text{\sc if}\ i = 0\
> \bgroup \setupinterlinespace [line=1ex]
> \startalign [n=2, align={left,left,left}, location=top]
>
> \NC \text{\sc then}\
> \NC R
> \NR
>
> \NC \text{\sc else}\
> \NC
> \bgroup \setupinterlinespace [line=1ex]
> \startalign [n=1, align={left,left}, location=top]
>
> \NC \lbr
> 〈d, e 〉∈ \text{\it Dom} × \text{\it Rng}:
> \NR
>
> \NC \quad \∃ c ∈ \text{\it Dom} ∩ \text{\it Rng}:
> \bgroup \setupinterlinespace [line=1ex]
> \startalign [n=1, align={left,left}, location=top]
>
> \NC ∧ 〈d, c〉∈ \text{\it TC}[i-1]
> \NR
>
> \NC ∧ 〈c, e〉∈ R \,\rbr
> \NR
> \stopalign \egroup
> \NR
> \stopalign \egroup
> \NR
> \stopalign \egroup
> \NR
> \stopalign \egroup
> \NR
> \stopalign \egroup
> \NR
>
> \NC \text{\sc in}\
> \NC \text{\sc union}\ \lbr \text{\it TC}[i] : i ∈ ℕ \rbr
> \NR
> \stopalign \egroup
> \NR
> \stopalign \egroup \stopformula \stopplaceformula
>
> \stopdocument
>
> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>
> The command
>
> $ context --luatex transitive_reduction.tex
>
> produces the desired result, but
>
> $ context transitive_reduction.tex
>
> rejects the alignments and centers the lines instead. Can anyone suggest how I might adapt such nesting of alignments to luametatex?
>
I must admit that I don't know what is the expected output and if I
did break any of the rules or missed what you want, but the following
could hopefully work as a start for you:
\define\lbr {\lbrace \mkern 0.9mu}
\define\rbr {{}\mkern 0.9mu \rbrace}
\define\∀ {∀\mkern1mu}
\define\∃ {∃\mkern2mu}
\definemathsimplealign
[myalign]
[align=left,
location=top]
\definemathsimplealign
[myouteralign]
[align=left,
location=center]
\definemathsimplealign
[mydistancedalign]
[align=left,
distance=1em,
leftmargin=1em]
\definemathsimplealign
[mymarginedalign]
[align=left,
leftmargin=1em]
\startdocument
\startplaceformula
\startformula [align=flushleft]
\startmyouteralign
\NC \mathtextit{TransitiveClosure}(R) ≜
\NR
\NC
\startmydistancedalign
\NC \mtext{\sc let}
\NC
\startmyalign
\NC \mathtextit {Dom} ≜ \lbr r[1]: r ∈ R \rbr
\NR
\NC \mathtextit {Rng} ≜ \lbr r[2]: r ∈ R \rbr
\NR
\NC \mathtextit {TC\/}[i ∈ ℕ] ≜
\NR
\NC
\startmymarginedalign
\NC \text{\sc if } i = 0\
\startmyalign
\NC \text{\sc then}\
\NC R
\NR
\NC \text{\sc else}\
\NC
\startmyalign
\NC \lbr
〈d, e 〉 ∈ \text{\it Dom} × \text{\it Rng}:
\NR
\NC \quad \∃ c ∈ \text{\it Dom} ∩ \text{\it Rng}:
\startmyalign
\NC ∧ 〈d, c〉 ∈ \mathtextit {TC\/}[i-1]
\NR
\NC ∧ 〈c, e〉 ∈ R \rbr
\NR
\stopmyalign
\NR
\stopmyalign
\NR
\stopmyalign
\NR
\stopmymarginedalign
\NR
\stopmyalign
\NR
\NC \mtext{\sc in}
\NC \mtext{\sc union } \lbr \mathtextit {TC\/}[i] : i ∈ ℕ \rbr
\NR
\stopmydistancedalign
\NR
\stopmyouteralign
\stopformula \stopplaceformula
\stopdocument
/Mikael
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the Wiki!
maillist : ntg-context@ntg.nl / https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl
webpage : https://www.pragma-ade.nl / https://context.aanhet.net (mirror)
archive : https://github.com/contextgarden/context
wiki : https://wiki.contextgarden.net
___________________________________________________________________________________
^ permalink raw reply [flat|nested] 3+ messages in thread
* [NTG-context] Re: Luametatex: nesting alignments in display math formulas
2024-11-10 8:20 ` [NTG-context] " Mikael Sundqvist
@ 2024-11-10 15:24 ` ntg-contextmailingli.expedited080--- via ntg-context
0 siblings, 0 replies; 3+ messages in thread
From: ntg-contextmailingli.expedited080--- via ntg-context @ 2024-11-10 15:24 UTC (permalink / raw)
To: mailing list for ConTeXt users; +Cc: ntg-contextmailingli.expedited080
On Sunday, November 10th, 2024 at 08:20, Mikael Sundqvist <mickep@gmail.com> wrote:
The output for this is perfect, Mikael. Your edit has a few surprises for me. I'll study it today.
Clearly a slog for anyone to go through. I appreciate it very much. Thank you!
> ------------------------------
> Hi,
>
> On Sun, Nov 10, 2024 at 2:45 AM ntg-contextmailingli.expedited080---
> via ntg-context ntg-context@ntg.nl wrote:
>
> > I'm test driving luametatex. My needs usually extend to expressing formulas in TLA+ using nested display math formulas. Although I have suitable templates for doing this in Mark IV, I can't reproduce these satisfactorily in luametatex. For example, here's a formula from Leslie Lamport's 2006 "Lower Bounds for Asynchronous Consensus":
> >
> > ~~~~~~~~~~~ transitive_reduction.tex ~~~~~~~~~~~~~
> >
> > \define\lbr {\lbrace \mkern 0.9mu}
> > \define\rbr {{}\mkern 0.9mu \rbrace}
> > \define\∀ {∀\mkern1mu}
> > \define\∃ {∃\mkern2mu}
> >
> > \startdocument
> >
> > \startplaceformula
> > \startformula [split=yes, align=flushleft, margin=standard, interlinespace=1ex]
> > \bgroup \setupinterlinespace [line=1ex]
> > \startalign [n=1, align={left,left}]
> >
> > \NC \text{\it TransitiveClosure}(R) ≜
> > \NR
> >
> > \NC \quad
> > \bgroup \setupinterlinespace [line=1ex]
> > \startalign [n=2, align={left,left,left}, location=top]
> >
> > \NC \text{\sc let} \quad
> > \NC \bgroup \setupinterlinespace [line=1ex]
> > \startalign [n=1, align={left,left}, location=top]
> >
> > \NC \text{\it Dom} ≜ \lbr r[1]: r ∈ R \rbr
> > \NR
> >
> > \NC \text{\it Rng} ≜ \lbr r[2]: r ∈ R \rbr
> > \NR
> >
> > \NC \text{\it TC}[i ∈ ℕ] ≜
> > \NR
> >
> > \NC \quad
> > \bgroup \setupinterlinespace [line=1ex]
> > \startalign [n=1, align={left,left}, location=top]
> >
> > \NC \text{\sc if}\ i = 0\
> > \bgroup \setupinterlinespace [line=1ex]
> > \startalign [n=2, align={left,left,left}, location=top]
> >
> > \NC \text{\sc then}\
> > \NC R
> > \NR
> >
> > \NC \text{\sc else}\
> > \NC
> > \bgroup \setupinterlinespace [line=1ex]
> > \startalign [n=1, align={left,left}, location=top]
> >
> > \NC \lbr
> > 〈d, e 〉∈ \text{\it Dom} × \text{\it Rng}:
> > \NR
> >
> > \NC \quad \∃ c ∈ \text{\it Dom} ∩ \text{\it Rng}:
> > \bgroup \setupinterlinespace [line=1ex]
> > \startalign [n=1, align={left,left}, location=top]
> >
> > \NC ∧ 〈d, c〉∈ \text{\it TC}[i-1]
> > \NR
> >
> > \NC ∧ 〈c, e〉∈ R \,\rbr
> > \NR
> > \stopalign \egroup
> > \NR
> > \stopalign \egroup
> > \NR
> > \stopalign \egroup
> > \NR
> > \stopalign \egroup
> > \NR
> > \stopalign \egroup
> > \NR
> >
> > \NC \text{\sc in}\
> > \NC \text{\sc union}\ \lbr \text{\it TC}[i] : i ∈ ℕ \rbr
> > \NR
> > \stopalign \egroup
> > \NR
> > \stopalign \egroup \stopformula \stopplaceformula
> >
> > \stopdocument
> >
> > ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> >
> > The command
> >
> > $ context --luatex transitive_reduction.tex
> >
> > produces the desired result, but
> >
> > $ context transitive_reduction.tex
> >
> > rejects the alignments and centers the lines instead. Can anyone suggest how I might adapt such nesting of alignments to luametatex?
>
>
> I must admit that I don't know what is the expected output and if I
> did break any of the rules or missed what you want, but the following
> could hopefully work as a start for you:
>
> \define\lbr {\lbrace \mkern 0.9mu}
> \define\rbr {{}\mkern 0.9mu \rbrace}
> \define\∀ {∀\mkern1mu}
> \define\∃ {∃\mkern2mu}
>
> \definemathsimplealign
> [myalign]
> [align=left,
> location=top]
>
> \definemathsimplealign
> [myouteralign]
> [align=left,
> location=center]
>
> \definemathsimplealign
> [mydistancedalign]
> [align=left,
> distance=1em,
> leftmargin=1em]
>
> \definemathsimplealign
> [mymarginedalign]
> [align=left,
> leftmargin=1em]
>
> \startdocument
>
> \startplaceformula
> \startformula [align=flushleft]
> \startmyouteralign
> \NC \mathtextit{TransitiveClosure}(R) ≜
> \NR
>
> \NC
> \startmydistancedalign
> \NC \mtext{\sc let}
> \NC
> \startmyalign
> \NC \mathtextit {Dom} ≜ \lbr r[1]: r ∈ R \rbr
> \NR
> \NC \mathtextit {Rng} ≜ \lbr r[2]: r ∈ R \rbr
> \NR
> \NC \mathtextit {TC\/}[i ∈ ℕ] ≜
> \NR
> \NC
> \startmymarginedalign
> \NC \text{\sc if } i = 0\
> \startmyalign
> \NC \text{\sc then}\
> \NC R
> \NR
>
> \NC \text{\sc else}\
> \NC
> \startmyalign
> \NC \lbr
> 〈d, e 〉 ∈ \text{\it Dom} × \text{\it Rng}:
> \NR
>
> \NC \quad \∃ c ∈ \text{\it Dom} ∩ \text{\it Rng}:
> \startmyalign
>
> \NC ∧ 〈d, c〉 ∈ \mathtextit {TC\/}[i-1]
> \NR
>
> \NC ∧ 〈c, e〉 ∈ R \rbr
> \NR
> \stopmyalign
> \NR
> \stopmyalign
> \NR
> \stopmyalign
> \NR
> \stopmymarginedalign
> \NR
> \stopmyalign
> \NR
> \NC \mtext{\sc in}
> \NC \mtext{\sc union } \lbr \mathtextit {TC\/}[i] : i ∈ ℕ \rbr
> \NR
> \stopmydistancedalign
> \NR
> \stopmyouteralign
> \stopformula \stopplaceformula
>
> \stopdocument
>
> /Mikael
> ___________________________________________________________________________________
> If your question is of interest to others as well, please add an entry to the Wiki!
>
> maillist : ntg-context@ntg.nl / https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl
> webpage : https://www.pragma-ade.nl / https://context.aanhet.net (mirror)
> archive : https://github.com/contextgarden/context
> wiki : https://wiki.contextgarden.net
> ___________________________________________________________________________________
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the Wiki!
maillist : ntg-context@ntg.nl / https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl
webpage : https://www.pragma-ade.nl / https://context.aanhet.net (mirror)
archive : https://github.com/contextgarden/context
wiki : https://wiki.contextgarden.net
___________________________________________________________________________________
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2024-11-10 15:35 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-11-10 1:36 [NTG-context] Luametatex: nesting alignments in display math formulas ntg-contextmailingli.expedited080--- via ntg-context
2024-11-10 8:20 ` [NTG-context] " Mikael Sundqvist
2024-11-10 15:24 ` ntg-contextmailingli.expedited080--- via ntg-context
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).