Environments and commands with arguments about finetex

[Lev135]

@Definitions
  @Environments
    section name = "\section{$name}" ""

[Lev135]

Также можно сделать опциональные параметры:

@Definitions
  @Environments
    Lemma                  = @TexBeginEnd "lemma"
    Lemma (name : String)  = @Begin "\\begin{lemma}[$name]" @End "\\end{lemma}"

и использовать так:

@Lemma
  Раз-два-три
@Lemma @name "Вторая лемма"
  Четыре-пять-шесть