* ltl U \ u *.