Import IResult interface from LAHTeX