@mark mark
7.21.2 tagThis tag name carries more than one meaning (2)
The mark applied
- JSON key
{ "mark": "$" }- Format
- string
- Min / Max
- 0 - 1
- Default value
""- Always emit
- No
Used by bits
A mark definition
- JSON key
{ "marks": [ { "mark": "$", "emphasis": "underline" } ] }- Format
- string
- Min / Max
- 0 - ∞
- Default value
""- Always emit
- No