Added Texy formatting tools