Make sure notation section is included in most intros.