ws3 tex