Possibly impractical syntax display.