1 /* Title: Pure/General/markup.scala
2 Module: Library
2 Author: Makarius
3 Author: Makarius
3
4
4 Generic markup elements.
5 Generic markup elements.
5 */
6 */
6
7