extref 7.21.2 mark Eigenschaften Art mark Toggle-Tag (+extref)…(-extref) Mappings json { "type": "extref", "attrs": { "extref": "$" } }