A couple of \qedhere.
close issue #218
Conforming to variable width format, up to 8.7.10
Merge branch 'master' of github.com:HoTT/book