Converted from LaTeX syntax to Bird-style syntax.