How to debug missing unicode characters errors when compiling literate agda files?

Question

How does one get certain unicode characters to compile with .lagda files. For instance, when I add certain unicode characters manually to the tex file, like \\phi, \\forall