Make sure </jh> is on a line by itself. (for the convenience of jh2gh).
Add term variables (just needed for jh2gh, not jhilbert).