As-Written Signs Deleted in Correction

As-written signs deleted in an ancient correction.

Syntax

Any sequence of Unicode characters representing Plain content 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

• 𝘏 = identifier sign of the hand (if specified in the optional annotations/metadata ¤ᵟ).
• 𝑆 = any sign (Unicode character) ∉ STOP_SET (cf. Technical Catalogue of Symbols) otherwise preceded by the escape character \.
• 𝑁 = number of characters (represented by char or digits).
• 𝑛 ∈ ℕ (natural numbers).
• ‽ᵟ ∈ {?, !, ε} = 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

+abc=>xyz+

+abc=>xyz?;h=c>d+

+abc=>xyz!;manus=c;place=supra+

EpiDoc Outputs

+abc=>xyz+

<ab>
    <subst>
        <del cert="medium">abc</del>
        <add cert="medium">xyz</add>
    </subst>
</ab>

+abc=>xyz?;h=c>d+

<ab>
    <subst>
        <del cert="low"><app type="alternative"><lem><handShift new="#c"/></lem><rdg><handShift new="#d"/></rdg></app>abc</del>
        <add cert="low">xyz<app type="alternative"><lem><handShift new="#c"/>xyz</lem><rdg><handShift new="#d"/>xyz</rdg></app></add>
    </subst>
</ab>

+abc=>xyz!;manus=c;place=supra+

<ab>
    <subst>
        <del cert="medium"><app type="alternative"><rdg><handShift new="#c"/></rdg></app>abc</del>
        <add place="above" cert="medium">xyz<app type="alternative"><rdg><handShift new="#c"/>xyz</rdg></app></add>
    </subst>
</ab>

Structural Analysis (Conceptual AST)

+abc=>xyz+

Correction[medium]
  deleted:
    Plain("abc")
  added:
    Plain("xyz")

+abc=>xyz?;h=c>d+

Correction[low][meta]
  deleted:
    Plain("abc")
  added:
    Plain("xyz")

+abc=>xyz!;manus=c;place=supra+

Correction[medium][meta]
  deleted:
    Plain("abc")
  added:
    Plain("xyz")