See also unanimated's typesetting guide: https://unanimated.github.io/ts/index.htm