Session E1: Theorems, Derivations, and Notation

Overview

This session picks up where Session 3 left off and covers the mathematical machinery the core sessions deliberately parked: theorem and proof environments, the full family of multi-line equation environments, matrices and piecewise definitions, mathematical fonts and custom operators, physics-style notation for derivatives and vectors, and smart cross-referencing with cleveref. By the end of the session you can typeset anything a maths, CS, physics, or engineering course will ask of you.

Lecturers

TBD

Session Information

Date and Time: Thursday 29 October 2026, 13:00 — 14:30
Place: Engineering Lecture Hall (ELH)
Online Meeting Link
Session Recording

Core Concepts

Theorem, lemma, and definition environments with the amsthm package
Proofs and QED placement (including \qedhere)
The align family: align, gather, split, multline, and why eqnarray is “banned”
Piecewise definitions with cases; matrices of every delimiter style
Maths fonts: \mathbb, \mathcal, \mathbf, \mathrm, and the bm package
Custom operators with \DeclareMathOperator
Derivatives, vectors, and bra-kets with the physics package
Smart cross-referencing with cleveref

Slides

Session E1 Slides: Download PDF

References

Overleaf’s documentation page

Exercises & Extra Steps

The exercise for this session is in the section of the Problem Set

Questions? Reach out on the course’s WhatsApp!