coordinate notations and verbalizations of symbols
An important trait of SMGloM markup quality is the coordination of notations and verbaliations of concepts via their symbol names. We need to ensure this for all modules in this repository.
Let me make an example: in the module signature binomialcoefficient.tex
we see (saw actually; I fixed it)
\symdef{binomcoeff}[2]{{#1\choose #2}}
\symvariant{binomcoeff}[2]{fr}{\mathop{\mathcal{C}}^{#1}_{#2}}
\symii{binomial}{coefficient}
In the data model, this will generate one semantic macro \binomcoeeff
and two symbols: one with the name bionomcoeff
and one with the name binomial-coefficient
.
There are two things to observe here:
- the control sequence (aka. macro name) of the semantic macro is in principle independent of the symbol name. But if we do not specify it, then they are (by convenience) the same.
- the concepts behind
\binomcoeeff
andbionomcoeff
are the same mathematically, so there should only be one symbol. To fix this, we will need to specify the symbol name in the first\symdef
. So we need to delete the last line and change the first line above into
\symdef[name=binomial-coefficient]{binomcoeff}[2]{{#1\choose #2}}
And we need to do analogous change to all other symbols in the repository.