Equations · derivations · lecture notes

Show the work,
line by line.

Typst math reads almost like what you would write on a board. Your agent writes the derivation, aligns it and numbers it; you check every step on the rendered page.

A page of lecture notes deriving the closed form of the Fibonacci numbers with generating functions, Binet's formula in a shaded box, a table of values and three exercises.
Rendered by Typst 0.15.1 from examples/math/main.typ. Select for full size.

What your agent can do

  • NotationFractions, sums, matrices, cases, and multi-line derivations aligned at the equals sign.
  • StructureTheorem and definition boxes, numbered equations, references that follow the numbering.
  • Problem setsExercises with solutions on a later page, or kept back until you ask.
  • Lecture notesHandouts with tables and CeTZ plots, and the same notation across files.
  • CheckingA typo in math source is easy to miss. The agent renders the page and reads the formula as you will.

Try this prompt

Write one page of lecture notes on generating functions: derive the closed form of the Fibonacci numbers step by step, put Binet's formula in a theorem box, add a table of the first eleven values and three exercises. Number the equations. Render the page and check each step of the derivation.

Paste it into your agent once LeftBlank Office is connected.

From the source

#set math.equation(numbering: "(1)")

Multiply the recurrence by $x^n$ and sum over $n >= 2$:
$
  F(x) - x &= x F(x) + x^2 F(x), \
  F(x) &= x / (1 - x - x^2) .
$ <gf>
and split into partial fractions:
$ F(x) = 1 / sqrt(5) (1 / (1 - phi x) - 1 / (1 - psi x))
  = sum_(n >= 0) (phi^n - psi^n) / sqrt(5) x^n . $

#theorem([Theorem 7.1 (Binet)])[
  For every $n >= 0$,
  $ F_n = (phi^n - psi^n) / sqrt(5) . $
]

Full source on GitHub ↗

Good to know

  • New Computer Modern Math is built into Typst; nothing to install.
  • Already have LaTeX notes? Paste a section and ask the agent to convert it; check the rendered page, not the source.

Connect your agent

claude mcp add --transport http leftblank https://office.leftblank.app/mcp

Other clients and the full setup are in agents.md.