Restrinctions on using environments and commands about finetex

[Lev135]

Это пока только набросок. Надо посмотреть, какие вообще взаимосвязи существуют на примерах в TeX'е

[Lev135]

Есть такая проблема с математическими окружениями:

  > a + b &= c
  > d &= e + f

должно транслироваться (и транслируется сейчас) в

\begin{align*}
a + b &= c \\
d &= e + f
\end{align*}

В то же время для нумерованных формул

  | 1 > a + b &= c
  | 2 > d &= e + f

In equation $ref 1 we can see...

\begin{align}
\label{_gr_1} a + b &= c \\
\label{_gr_2} d &= e + f
\end{align}

In equation \ref{_gr_1} we can see...

Существуют различные способы группировки нумерации

  | 1 > a + b &= c
      > d &= e + f
  | 2 > q &= p - 2

\begin{align}
\label{_gr_1}
\begin{split}
a + b &= c \\
d &= e + f
\end{split}\\
\label{_gr_2}
g &= p - 2
\end{align}

Есть предположение, что всё-таки придётся такие вещи встраивать в язык. Слишком уж сложные тут связи

[Lev135]

Можно выбрать такой синтаксис

  | 1 >> a + b &= c
  | 2 >> d &= e + f

In equation $ref 1 we can see...

  | 1 >> a + b &= c
       > d &= e + f
  | 2 >> q &= p - 2

И описать его как

> = @TexBeginEnd align* @Sep \\ @InnerMath
(lbl : Ident) > = @TexBeginEnd align @Pref \label{${"_gr_" ++ lbl}} @Sep \\ @InnerMath
> = @TexBeginEnd split @Sep \\ @InMath

Единственное противоречие с существующим синтаксисом -- то, что по текущим нормам после префикса должен идти пробел. Но так уж совсем не очень получается:

  | 1 > > a + b &= c
        > d &= e + f
  | 2 > > q &= p - 2

[Lev135]

Более полный вариант предполагаемого синтаксиса:

> | @Unique = @Begin \[ @End \]            @InnerMath
  | @Group  = @TexBeginEnd align* @Sep \\  @InnerMath

(lbl : Ident) > | @Unique = @TexBeginEnd equation      @Pref \label{${"_gr_" ++ lbl}} @InnerMath
                | @Group  = @TexBeginEnd align @Sep \\ @Pref \label{${"_gr_" ++ lbl}} @InnerMath

> | @Unique @InMath = @Begin "" @End "" 
  | @Group  @InMath = @TexBeginEnd split @Sep \\ @InnerMath

Он позволит транслировать

1 >> a + b &= c
   > d &= e + f
2 >> e &= g
3 >> h &= k

в

\begin{align}
\label{_gr_1}
\begin{split}
a + b &= c \\
d &= e + f
\end{split}\\
\label{_gr_2}
e &= g \\
\label{_gr_3}
h &= k
\end{align}

избегая лишних split, которые сделают генерируемый код совсем уж перегруженным