replace <mark-down> with ⟨mark-down⟩