org.qedeq.kernel.latex (Hilbert II)