Almost done with notation production.