Erasione di segni a testo

Segni o spazi deliberatamente erasi in antico, ma ancora leggibili.

Sintassi

Qualunque sequenza di caratteri Unicode (seguita dalla notazione opzionale di certezza) 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).
• 𝑛 ∈ ℕ (numeri naturali).
• ‽ᵟ ∈ {?, !, ε} = marcatore di incertezza ? o marcatore di certezza ! o stringa vuota (ε).
• γ ∈ {Low, High, Medium} = livello di certezza corrispondente al marcatore adoperato in notazione.
• ◇ᵟ ∈ {⯑, ⯁, ε} = resa del mercatore di incertezza/certezza in notazione o stringa vuota (ε).

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]
  Plain("abc")

[[abc?]]

Erasure[low]
  Plain("abc")

[[abc!]]

Erasure[high]
  Plain("abc")