ws4 tex