A Java-based tool to render magic symbols.