'mappings=[...]' can be parsed and toXtexted