Documentation for tex-semantic.