记法约定

notational convention