No implementation found for style `prooftree'
couldn't convert character inodot into available encodings
