 When Keith Orbit is looking at the code for the AI, we can see that  the code is written in LaTeX, which is a language for typesetting  mathematics much as HTML is used on the Internet for typesetting web  pages.