Merged latex pretty printing support from unified-builtins branch to v3.4.