It's actually executable, which is part of why they wrote this particular book. The intent was to have a more uniform syntax for presenting the math and being able to (programmatically) use it.