A semantic lightweight markup language for writing text