Example usage of HieroTeX