tubnu: clarify x3

The definition does not make clear what tubnu3 is supposed to be. This has been discussed several times. The wording here comes from rlpowell in [this thread](http://mail.lojban.org/lojban-list/msg35891.html).