diff --git a/docs/spec/consensus/checkvalidators.md b/docs/spec/consensus/checkvalidators.md
index a83437541..ed8cbd2c4 100644
--- a/docs/spec/consensus/checkvalidators.md
+++ b/docs/spec/consensus/checkvalidators.md
@@ -4,6 +4,10 @@ As part of the light client, the CheckVS procedure has to check, whether given
 two headers (whose heigts differ by more than 1), the LightClient can trust  the
 newer header under the assumption it trusted the old one.
 
+This document contains some math formulas. To ease reading, the file
+  /tendermint/docs/spec/pdfs/checkvalidators.pdf
+displays them correctly.
+
 ## Definitions
 
   * header fields
diff --git a/docs/spec/pdfs/checkvalidators.pdf b/docs/spec/pdfs/checkvalidators.pdf
new file mode 100644
index 000000000..aa8c2f81a
Binary files /dev/null and b/docs/spec/pdfs/checkvalidators.pdf differ