Formatting binary trees