TFPT scientific source excerpt
Original repository path: documents/archive--paper-latex--tfpt-42/preamble.tex
Original file SHA-256: bd7156fd9148105ecd2eadd84000e1e3ceddd82845e7873c1910d6465bfd44fb
Inclusive original lines: 145-151
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000145 | 
000146 | \newcommand{\Seam}{\Sigma}
000147 | \newcommand{\inv}{\iota}
000148 | \newcommand{\taudbl}{\tau_{\mathrm{dbl}}}
000149 | \newcommand{\iC}{\iota_{\mathrm C}}
000150 | \newcommand{\epscar}{\varepsilon_{\mathrm{car}}}
000151 | \newcommand{\Xbulk}{X_{\mathrm{bulk}}}