I really like [djot's syntax for this](https://htmlpreview.github.io/?https://github.com/jgm/djot/blob/master/doc/syntax.html#insertdelete), and I think it doesn't clash with anything we have so far. We should use it.