Documentation for tex-semantic
