Allowed stdin for either XML or X3ML using @