**
(tectoniccodatokens_ok.tex \TectonicCodaTokens) coda [1]
Output written on tectoniccodatokens_ok.xdv (1 page, 228 bytes).