diff --git a/docs/yap.tex b/docs/yap.tex
index f352bcbf4..f30b6d9a8 100644
--- a/docs/yap.tex
+++ b/docs/yap.tex
@@ -13929,9 +13929,9 @@ would have something like
 @example
 void
 init_n100(void)
-{
+@{
   YAP_UserBackCPredicate("n100", start_n100, continue_n100, 1, 1);
-}
+@}
 @end example