Should these strings be raw strings, to be consistent with the dyadic latex print test?