with #11
@Define
@DefOptions
TexBeginEnd (name : String) = @Begin \begin{$name} @End \end{$name}
@Environments
Document = @TexBeginEnd "document"
otherwise syntax will be to verbose:
@Define
@DefOptions
TexBeginEnd (name : String) = "@Begin \"\\\\\\\\begin{$name}\" @End \"\\\\\\\\end{$name}\""
@Environments
Document = @TexBeginEnd "document"
with #11
otherwise syntax will be to verbose: