snuggle

hello world

public static void main(String[] args) throws IOException {
		SnuggleEngine engine = new SnuggleEngine();
		SnuggleSession session = engine.createSession();

		SnuggleInput input = new SnuggleInput("$\frac{1}{2}$");
		session.parseInput(input);

		WebPageOutputOptions options = WebPageOutputOptionsTemplates.createWebPageOptions(WebPageType.MOZILLA);
		options.setTitle("My Web Page");
		options.setAddingTitleHeading(true);
		options.setIndenting(true);
		options.setAddingMathSourceAnnotations(true);
		options.setIncludingStyleElement(false);

		session.writeWebPage(options, new StringBuilderOutputStream());
		for (InputError error : session.getErrors()) {
			System.err.println(error);
		}
		try (StringBuilderOutputStream stream = new StringBuilderOutputStream()) {
			return stream.getResult();
		}
	}