Fixup "Add functions escaping strings for latex"
Fixup "Implement PrintingService"
Fixup "Add printing frontend to CWS"