Displaying constructions with math syntax