Erasione con segni visti da editori precedenti

Segni o spazi deliberatamente erasi in antico visti da editori precedenti ma oggi non più visibili sul supporto.

Sintassi

Qualsiasi notazione di fenomeno (IbiUnit) ammessa all’interno di PreviousSeen racchiusa tra doppie parentesi quadre [[…]].

Panoramica

• 𝑆 = qualunque segno (carattere Unicode) ∉ STOP_SET (cf. Catalogo tecnico dei simboli) altrimenti preceduto dal carattere di escape \.
• 𝑁 = numero di caratteri (rappresentato da segni o cifre).
• ⊙ ∈ PREVIOUS_SEEN_ALLOWED = qualsiasi fenomeno ammesso all’interno di un PreviousSeen (notazione, AST o resa in base al collocamento).
• ‽ᵟ ∈ {?, !, ε} = marcatore di incertezza ? o marcatore di certezza ! o stringa vuota (ε).
• ◇ᵟ ∈ {⯑, ⯁, ε} = resa del mercatore di incertezza/certezza in notazione o stringa vuota (ε).
• γ ∈ {Low, High, Medium} = livello di certezza corrispondente al marcatore adoperato in notazione.

Vedi Segni erasi in antico e rasure per la rettifica automatica dei delimitatori eseguita dal formattatore per migliorarne la leggibilità.

Esempi

[[_abc_]]

[[_abc_?]]

[[_abc_!]]

Rese EpiDoc

[[_abc_]]

<ab>
    <del cert="medium">
    </supplied>
</del>
</ab>

[[_abc_?]]

<ab>
    <del cert="low">
    </supplied>
</del>
</ab>

[[_abc_!]]

<ab>
    <del cert="high">
    </supplied>
</del>
</ab>

Analisi strutturale (AST concettuale)

[[_abc_]]

Erasure[medium]
  PreviousSeen[medium]
    Plain("abc")

[[_abc_?]]

Erasure[low]
  PreviousSeen[medium]
    Plain("abc")

[[_abc_!]]

Erasure[high]
  PreviousSeen[medium]
    Plain("abc")