Character set

  All existing implementations of DATR allow one to use all the characters found on a US typewriter keyboard. At least one widely used implementation (QDATR) will also allow you to use characters found only on keyboards designed for european languages other than English. You may want to bear this fact in mind when you decide how to encode your analysis. If the orthographic representation is not the main issue and there are conventions for representing the language in 7 bit ASCII, then you should simply embrace those conventions in the the interests of the portability of your analysis. But if many non-ASCII characters are involved and you want your theorems to deliver the language as it is actually written, then you may decide to use those characters in your encoding. Whichever way you go, it makes sense to include a comment near the top of the file which addresses the character set issue.