1. Nontextual notations as syntactic supplements