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