TexTranslatorTest.java

import org.eclipse.iee.translator.antlr.translator.TexTranslator;
import org.junit.Test;

public class TexTranslatorTest {

	@Test
	public void testTranslate() {
		String input = "x<y&&x>z";
		String result = TexTranslator.translate(input);
		System.out.println(result);
	}

}