Renders mathema claims in the notation your field already uses: price as P, sigma1 as σ₁, delta_revenue as ΔR. A curated symbol table for physics, chemistry, statistics, machine learning and finance, overridable per project.
Language domains for mathema: the alphabets, predicate languages, hazard families and schema languages a claim quantifies text and structured values over with L[...].
