It's great that you knew, but that combination of characters is normally interpreted differently, so paper-machine has saved me from storing an incorrect memory (as I'm skimming this thread and not reading every link)...