Secondary notation - Wikipedia

Secondary notation is the set of visual cues used to improve the readability of a formal notation. Examples of secondary notation include the syntax highlighting of computer source code, sizes and color codes for easy recognition of consumer symbols such as bank notes or coins, or the regular typogr…

Paul Bille

Source: Secondary notation - Wikipedia