Deleted Text (in Correction) with Gap of Known Extent

A gap of known extent (a specific number of missing or lost characters) contained in the deleted text of an ancient correction.

Syntax

The notation for a gap of known extent followed by an equal sign and a greater-than sign forming a => arrow, then by the added text notation, all enclosed between plus signs +…+. Optional metadata can be written before the final + delimiter.

Overview

Notation	Conceptual AST	Paper Output
`+[⊙]=>…‽ᵟ¤ᵟ+`	`Correction { deleted: [Gap { ⊙ }], added:…, cert: γ, meta: ¤ }`	𝘏ᵟ``⸄[⊙] ↦ …◇ᵟ⸅

⊙ ∈ PREVIOUS_SEEN_ALLOWED = the relevant gap notation.
‽ᵟ ∈ {?, !, ε} = uncertainty marker ?, certainty marker !, or empty string (ε).
γ ∈ {Low, High, Medium} = certainty level corresponding to the marker used in the notation.
◇ᵟ ∈ {⯑, ⯁, ε} = rendering of the uncertainty/certainty marker in the notation or empty string (ε).
¤ᵟ = optional annotations (metadata) supported by Correction (cf. Ancient Corrections).

See Ancient Corrections for the automatic rectification performed by the formatter to improve legibility.

Examples

Notation	Paper Output
`+[.7.]=>xyz?;h=c>d+`	cd7xyz
`+[.5.]=>xyz+`	5xyz
`+[.2.]=>xyz!;manus=c;place=supra+`	cabove2xyz

EpiDoc Outputs

Notation EpiDoc (XML)

Notation	EpiDoc (XML)
`+[.7.]=>xyz?;h=c>d+`	`<ab> <subst> <del cert="low"><app type="alternative"><lem><handShift new="#c"/></lem><rdg><handShift new="#d"/></rdg></app> <gap reason="lost" quantity="7" unit="character" precision="medium"/> </del> <add cert="low">xyz<app type="alternative"><lem><handShift new="#c"/>xyz</lem><rdg><handShift new="#d"/>xyz</rdg></app></add> </subst> </ab>`
`+[.5.]=>xyz+`	`<ab> <subst> <del cert="medium"> <gap reason="lost" quantity="5" unit="character" precision="medium"/> </del> <add cert="medium">xyz</add> </subst> </ab>`
`+[.2.]=>xyz!;manus=c;place=supra+`	`<ab> <subst> <del cert="medium"><app type="alternative"><rdg><handShift new="#c"/></rdg></app> <gap reason="lost" quantity="2" unit="character" precision="medium"/> </del> <add place="above" cert="medium">xyz<app type="alternative"><rdg><handShift new="#c"/>xyz</rdg></app></add> </subst> </ab>`

+[.7.]=>xyz?;h=c>d+

<ab>
    <subst>
        <del cert="low"><app type="alternative"><lem><handShift new="#c"/></lem><rdg><handShift new="#d"/></rdg></app>
            <gap reason="lost" quantity="7" unit="character" precision="medium"/>
        </del>
        <add cert="low">xyz<app type="alternative"><lem><handShift new="#c"/>xyz</lem><rdg><handShift new="#d"/>xyz</rdg></app></add>
    </subst>
</ab>

+[.5.]=>xyz+

<ab>
    <subst>
        <del cert="medium">
            <gap reason="lost" quantity="5" unit="character" precision="medium"/>
        </del>
        <add cert="medium">xyz</add>
    </subst>
</ab>

+[.2.]=>xyz!;manus=c;place=supra+

<ab>
    <subst>
        <del cert="medium"><app type="alternative"><rdg><handShift new="#c"/></rdg></app>
            <gap reason="lost" quantity="2" unit="character" precision="medium"/>
        </del>
        <add place="above" cert="medium">xyz<app type="alternative"><rdg><handShift new="#c"/>xyz</rdg></app></add>
    </subst>
</ab>

Structural Analysis (Conceptual AST)

Notation AST

Notation	AST
`+[.7.]=>xyz?;h=c>d+`	`Correction[low][meta] deleted: Gap(known=7, medium) added: Plain("xyz")`
`+[.5.]=>xyz+`	`Correction[medium] deleted: Gap(known=5, medium) added: Plain("xyz")`
`+[.2.]=>xyz!;manus=c;place=supra+`	`Correction[medium][meta] deleted: Gap(known=2, medium) added: Plain("xyz")`

+[.7.]=>xyz?;h=c>d+

Correction[low][meta]
  deleted:
    Gap(known=7, medium)
  added:
    Plain("xyz")

+[.5.]=>xyz+

Correction[medium]
  deleted:
    Gap(known=5, medium)
  added:
    Plain("xyz")

+[.2.]=>xyz!;manus=c;place=supra+

Correction[medium][meta]
  deleted:
    Gap(known=2, medium)
  added:
    Plain("xyz")