Typesetting Example
2025-07-06

Contents

Typst
Markups
Math
Definitions and Theorems
Inference Rules

1 Typst

Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magnam aliquam quaerat.

1.1 Markups

  1. Lorem ipsum dolor sit amet.
  2. ye
  3. d
0 1 2
3 4 5
6 7 8
TableĀ 1: Numbers

1.2 Math

Let and be objects in a category . A product of and is an object equipped with a pair of morphisms and such that for every object , there exists a unique morphism for which

commutes.

1.3 Definitions and Theorems

Definition 13A.

anything

Definition 13B (Some).

something

Theorem 13A.

Some theorem

Proof.

Obvious

1.4 Inference Rules

FigureĀ 1: Exchange