dhall-1.7.0: tests/parser/escapedDoubleQuotedString.dhall

"\\\"\$\\\/\b\f\n\r\t \u2200(a : Type) \u2192 a"