1 2 3 4 5 6 7
user width: 5pt no width default width: 2pt no width > \boxXX= \hbox(0.0+0.0)x0.0 .\hbox(0.0+0.0)x0.0