diff --git a/docs/changelog/0.13.0.md b/docs/changelog/0.13.0.md
index eb7467630..3cd2c14ec 100644
--- a/docs/changelog/0.13.0.md
+++ b/docs/changelog/0.13.0.md
@@ -254,8 +254,34 @@ feature flag.
 - Fixed crash when piping `typst fonts` output to another command
 
 ## Symbols
-- Added: `numero`, `eq.triple.not`, `asymp`, `asymp.not`
-TODO (update after codex bump)
+- New
+  - `inter`, `inter.and`, `inter.big`, `inter.dot`, `inter.double`, `inter.sq`,
+    `inter.sq.big`, `inter.sq.double`, `integral.inter`
+  - `asymp`, `asymp.not`
+  - `mapsto`, `mapsto.long`
+  - `divides.not.rev`, `divides.struck`
+  - `interleave`, `interleave.big`, `interleave.struck`
+  - `eq.triple.not`, `eq.dots`, `eq.dots.down`, `eq.dots.up`
+  - `smt`, `smt.eq`, `lat`, `lat.eq`
+  - `colon.tri`, `colon.tri.op`
+  - `dagger.triple`, `dagger.l`, `dagger.r`, `dagger.inv`
+  - `hourglass.stroked`, `hourglass.filled`
+  - `die.six`, `die.five`, `die.four`, `die.three`, `die.two`, `die.one`
+  - `errorbar.square.stroked`, `errorbar.square.filled`,
+    `errorbar.diamond.stroked`, `errorbar.diamond.filled`,
+    `errorbar.circle.stroked`, `errorbar.circle.filled`
+  - `numero`
+  - `Omega.inv`
+- Renamed
+  - `ohm.inv` to `Omega.inv`
+- Changed codepoint
+  - `angle.l.double` from `《` to `⟪`
+  - `angle.r.double` from `》` to `⟫`
+- Deprecated
+  - `sect` and all its variants
+  - `integral.sect`
+- Removed
+  - `degree.c`, `degree.f`, `ohm.inv`, `angstrom`, `kelvin`
 
 ## Deprecations
 - The [`path`] function in favor of the [`curve`] function