spaces are allowed in names (i.e. symbol-name => symbol name)
concrete syntax for copymodule changed from \begin{copymodule}[some/archive]{mod?domain/dom-structure}{name} to \begin{copymodule}{name}{dom}; note that mod?domain needs to be in scope anyway.
concrete syntax for \renamedecl changed from \renamedecl[name=new-name]{oldname}{macroname} to \renamedecl{oldname}[new-name]{macroname}
If giving a proper URI for a mathstructure is necessary (e.g. for disambiguating), the module for a mathstructure is now called name-module instead of name-structure
associative (a or B-mode) arguments in notations are now treated with \argsep. Note that separating elements of an argument sequence with , is the default, so \notation{foo}{#1}{##1,##2} is now just \notation{foo}{#1}.
\instantiate/\varinstantiate{name}{struct}... are replaced by \symdef/\vardef{name}[return=\struct...
\varseq{name}{a}{b} => \varseq{name}{a,\ellipses,b} - note that \ellipses is now a semantic macro, and the second argument to \varseq now takes an arbitrary "sequence range specification". For multiple dimensions, we now consequently have e.g \varseq{foo}[args=3]{111,\ldots,lmn}..., or for a simple pair we can do \varseq{name}{1,2}...
\stexpatch* => \stexstyle*. In particular, no more default presentations with their own parameters (e.g. start= in sparagraph). Instead, the latter can be achieved by e.g. \stexstyleparagraph{\paragraph{\thistitle:}~}{} and \stexstyleparagraph[start]{\paragraph{\thistitle}~}{}, and then \begin{sparagraph}[style=start,title=...] instead of \begin{sparagraph}[start=...]
\STEXtitle => \stexdoctitle
sref syntax: \sref[archive=a/b,file=foo.en]{id}[archive=c/d,file=bar.en,title=bla] references id id in file [a/b]foo.en.tex in context of the document [c/d]bar.en.tex
New: \defnotation{\semanticmacro{...}...} highlights the notation produced by \semanticmacro with \defemph (only allowed in {sdefinition} or {sparagraph}[type=symdoc]
symbol-name
=>symbol name
)copymodule
changed from\begin{copymodule}[some/archive]{mod?domain/dom-structure}{name}
to\begin{copymodule}{name}{dom}
; note thatmod?domain
needs to be in scope anyway.\renamedecl
changed from\renamedecl[name=new-name]{oldname}{macroname}
to\renamedecl{oldname}[new-name]{macroname}
name-module
instead ofname-structure
\begin{mathstructure}{macroname}[name=proper-name]
=>\begin{mathstructure}{macroname}[proper name]
a
orB
-mode) arguments in notations are now treated with\argsep
. Note that separating elements of an argument sequence with,
is the default, so\notation{foo}{#1}{##1,##2}
is now just\notation{foo}{#1}
.\instantiate
/\varinstantiate{name}{struct}...
are replaced by\symdef
/\vardef{name}[return=\struct...
\varseq{name}{a}{b}
=>\varseq{name}{a,\ellipses,b}
- note that\ellipses
is now a semantic macro, and the second argument to\varseq
now takes an arbitrary "sequence range specification". For multiple dimensions, we now consequently have e.g\varseq{foo}[args=3]{111,\ldots,lmn}...
, or for a simple pair we can do\varseq{name}{1,2}...
\stexpatch*
=>\stexstyle*
. In particular, no more default presentations with their own parameters (e.g.start=
in sparagraph). Instead, the latter can be achieved by e.g.\stexstyleparagraph{\paragraph{\thistitle:}~}{}
and\stexstyleparagraph[start]{\paragraph{\thistitle}~}{}
, and then\begin{sparagraph}[style=start,title=...]
instead of\begin{sparagraph}[start=...]
\STEXtitle
=>\stexdoctitle
\sref[archive=a/b,file=foo.en]{id}[archive=c/d,file=bar.en,title=bla]
references idid
in file[a/b]foo.en.tex
in context of the document[c/d]bar.en.tex
\defnotation{\semanticmacro{...}...}
highlights the notation produced by\semanticmacro
with\defemph
(only allowed in{sdefinition}
or{sparagraph}[type=symdoc]