add codex.tex