Following the suggestions in #122 (the "Format" section), we introduce a new universe of specifications values for decimal. We'll follow the suggestion to use <sub>𝔻</sub> as a marker for such values. To generate the spec HTML in strict mode, though -- which we ought to do -- we run up against the issue that <sub>𝔻</sub> is an unknown notational convention, so we consistently get many errors. Here, we depend upon a custom version of ecmarkup that recognizes this new convention. In the near future, we hope to settle on this notational convention (or possibly a different one) and integrate that change into the official ecmarkup code base, at which point we can revert this change. For now, we need to resort to a hack to get things to work.
Following the suggestions in #122 (the "Format" section), we introduce a new universe of specifications values for decimal. We'll follow the suggestion to use
<sub>𝔻</sub>as a marker for such values. To generate the spec HTML in strict mode, though -- which we ought to do -- we run up against the issue that<sub>𝔻</sub>is an unknown notational convention, so we consistently get many errors. Here, we depend upon a custom version of ecmarkup that recognizes this new convention. In the near future, we hope to settle on this notational convention (or possibly a different one) and integrate that change into the official ecmarkup code base, at which point we can revert this change. For now, we need to resort to a hack to get things to work.Thanks to @romulocintra for the suggestion.