...
[[]] (two opening square brackets, two closing square brackets) used to enclose text deleted in the ancient document but still legible or restorable. {code}\[\[{code} must be changed to ⟦ ‘left white square bracket’, U+27E6; ]] must be changed to ⟧ ‘right white square bracket’, U+27E7.
...
