"\\\"\u0024\\/\b\f\n\r\t𝄞 ∀(a : Type) → a"