latex { +latex.spec } sage { +sage.spec } CrvAnJac { +CrvAnJac.spec }