As-Written Signs Added in Correction

As-written signs added in an ancient correction.

Syntax

The notation representing the deleted text followed by an equal sign and a greater-than sign forming a => arrow, then by any sequence of Unicode characters representing Plain content, 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

+xyz=>abc+

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

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

EpiDoc Outputs

+xyz=>abc+

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

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

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

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

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

Structural Analysis (Conceptual AST)

+xyz=>abc+

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

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

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

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

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