The Brazilian constitution uses a <strike> element to mark parts of the text that were overwritten, alongside a link to the amendment https://www.planalto.gov.br/ccivil_03/constituicao/constitui...
replies(1):
<strike> is deprecated.
This kind of notation is similar but not the same as redlining. Whoever reads the law actually wants `git history` in this case. The diff is not a means to an end (a fully edited document), having the diff explicit is the end goal.