Refactor introduction.tex

2 jobs for master in 30 seconds (queued for 1 second)
Status Name Job ID Coverage
  Test
passed lint #156418

00:00:23

passed pdf #156419

00:00:30