Implement math syntax#5

Merged

jonludlam merged 8 commits intoocaml-doc:mainfrom

giltho:math-syntax

Jun 9, 2022

Commits on Jan 26, 2022

Commits on Feb 23, 2022

use {math...} instead
giltho
committed

Commits on Feb 24, 2022