/graphics/pictex/