TFPT scientific source excerpt
Original repository path: documents/archive--paper-latex--tfpt-42/preamble.tex
Original file SHA-256: bd7156fd9148105ecd2eadd84000e1e3ceddd82845e7873c1910d6465bfd44fb
Inclusive original lines: 203-210
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.

000203 | \newcommand{\Cseam}{\mathcal C_{\Sigma}}
000204 | \newcommand{\Ccyc}{\mathfrak C_{\Sigma}}
000205 | \newcommand{\Ffals}{\mathsf F_{\mathrm{fals}}}
000206 | \newcommand{\Rcmp}{\mathcal R_{\mathrm{cmp}}}
000207 | \newcommand{\wspin}{\varpi_{\mathrm{spin}}}
000208 | \newcommand{\PhysAdmOne}{\widehat{\mathrm{PhysAdm}}_1}
000209 | \newcommand{\ObsAdm}{\mathbf{Obs}_{\mathrm{adm}}}
000210 | \newcommand{\GrenTFPT}{\Gamma_{\mathrm{TFPT}}^{\mathrm{ren}}}