A text formatting system similar to TeX, but simpler
