• Preprocessing instructions: Embedding external notations in HTML