THE-SUMMATION-PROBLEM

# THE SUMMATION PROBLEM
# Translated into Lingenic notation.

# ═══════════════════════════════════════════════════════════════
# THE CORE CLAIM
# ═══════════════════════════════════════════════════════════════

treats(traditional typography, ∑, like(diva))

requires(render(∑), {
    complete typesetting system ⟕ {example: TeX},
    macro language,
    box model for layout,
    specialized font tables ⟕ {example: OpenType MATH},
    vertical centering algorithms,
    glyph scaling and stretching,
    display mode switching,
    baseline adjustment calculations
})

∴ disproportionate(cost(render(∑)), information content(∑))

# ═══════════════════════════════════════════════════════════════
# THE HISTORY
# ═══════════════════════════════════════════════════════════════

¬ancient wisdom(giant stretchy ∑)
affectation(giant stretchy ∑) ⟕ {era: 19th to 20th century}

used(Euler, modest sized operators)
used(Newton, modest sized operators)
used(Leibniz, modest sized operators)
closer to(early printed mathematics, monospace) ∧ ¬closer to(early printed mathematics, LaTeX)

chain ≜ [
    made bigger(printers, ∑) ∵ could ∧ ¬∵ clearer,
    copied(textbooks, textbooks),
    codified(TeX, convention),
    assumed(everyone, only way)
]

¬only way(convention)

# ═══════════════════════════════════════════════════════════════
# THE ABSURDITY
# ═══════════════════════════════════════════════════════════════

# To render: the sum of k from 1 to n equals n(n+1)/2

requires(traditional rendering, {
    parse(expression),
    determine(display mode),
    calculate(height of limits),
    scale(sigma glyph),
    center(vertically, on(math axis)),
    adjust(surrounding spacing),
    handle(line breaking edge cases)
})

# In monospace — the same mathematics:
#
#    𝑛
#    ∑  𝑘 = 𝑛(𝑛+1)/2
#   𝑘=1
#
# Upper limit: line above. Lower limit: line below. Sigma: unchanged.

requires(monospace rendering, {
    Unicode characters,
    grid
})

¬requires(monospace rendering, {rendering engine, compilation, external dependencies})

# ═══════════════════════════════════════════════════════════════
# THE UNICODE POSITION
# ═══════════════════════════════════════════════════════════════

handles(Unicode, stretchy delimiters, differently from(summation))
intentional(this)

# Braces have composable parts — by design:
# ⎧ ⎫  (brace top)
# ⎨ ⎬  (brace middle)
# ⎩ ⎭  (brace bottom)

stretches(brace, by(adding parts))
anticipated(Unicode, this)
means(parts, compose(them))

# Summation parts U+23B2 ⎲ U+23B3 ⎳ — Unicode Technical Report 25:
says(Unicode TR25, compatibility characters(⎲, ⎳))
∧ says(Unicode TR25, ¬use(⎲, ⎳, in(stored mathematical text)))
∧ says(Unicode TR25, use(⎲, ⎳, in(data stream(display and print drivers))))

translation(Unicode TR25 position) ≜ {
    ¬store(stretched sigmas),
    use(∑),
    let be(∑, one character),
    renderer's business(stretching) ∧ ¬document's business(stretching)
}

# Why braces stretch, why ∑ doesn't need to:
varies(content of braces) ∵ {two cases, twelve cases, any height}
∴ must accommodate(delimiter)

¬varies(content of ∑)
limits(∑) ≜ {above, below} ∧ on own lines
contains(∑, nothing) ∧ ¬embraces(∑, content)

∴ ¬needs to scale(∑)

diva behavior ≜ {
    scaling(sigma, to match(display mode notion)),
    ¬Unicode requirement(scaling),
    LaTeX habit(scaling)
}

# ═══════════════════════════════════════════════════════════════
# THE REAL QUESTION
# ═══════════════════════════════════════════════════════════════

legitimate(vary in height, braces and brackets) ∵ content varies
solved(Unicode, this) ⟕ {method: composable parts ⎧ ⎨ ⎩}

¬legitimate(scale sigma, summation)

rebuilt(every generation, diva machinery) ≜ {TeX, MathML, MathJax, KaTeX, ReX}
∴ solving(each, same non-problem)

# ═══════════════════════════════════════════════════════════════
# THE ALTERNATIVE
# ═══════════════════════════════════════════════════════════════

requires(∑ in LaTeX, {TeX, Computer Modern, display mode, vertical centering})
requires(∑ in monospace, row(2) ∧ column(1))

¬needs to be(sigma, big)
needs to be(sigma, legible)

communicates(fixed width ∑ with limits above and below, same mathematics)

loses(monospace approach, calligraphic flourish)
gains(monospace approach, {
    renders(math, anywhere(text renders)),
    copies and pastes(math),
    diffs(math, in(version control)),
    ¬requires(math, {build step, compilation, specialized viewer})
})

# ═══════════════════════════════════════════════════════════════
# THE PRECEDENT
# ═══════════════════════════════════════════════════════════════

moved to(code, monospace) ∧ ¬looked back(code)
properties(monospace code) ≜ {fixed width characters, grid alignment, ¬scaling, ¬stretching, ¬special rendering}

∴ became(code, universally portable)
works(monospace code, {any text editor, any terminal, any monospace font})
looks the same(code, everywhere)

could have(math, this)
can have(math, this)

stops(only thing, this) ≜ assumption(∑ must be treated like diva)

# ═══════════════════════════════════════════════════════════════
# THE DECLARATION
# ═══════════════════════════════════════════════════════════════

¬building(Lingenic, another calligraphic rendering engine)
solved(that problem) ∧ ∃(LaTeX, for(antique style variable width mathematics))

default ≜ monospace
default ≜ portable
default ≜ text that happens to be math

over(diva era)

# ═══════════════════════════════════════════════════════════════

summation problem ⟕ {src: Lingenic LLC 2026, translated by: Lingenic notation}