1 files changed, 3 insertions, 3 deletions
diff --git a/predefs.in b/predefs.in
index 63f0acfb..decf661e 100644
--- a/predefs.in
+++ b/predefs.in
@@ -29,13 +29,13 @@ PREDEF("Am", "&")
 PREDEF("Ba", "|")
 PREDEF("Ge", "\\(>=")
 PREDEF("Gt", ">")
-PREDEF("If", "\\(if")
+PREDEF("If", "infinity")
 PREDEF("Le", "\\(<=")
 PREDEF("Lq", "\\(lq")
 PREDEF("Lt", "<")
 PREDEF("Na", "NaN")
 PREDEF("Ne", "\\(!=")
-PREDEF("Pi", "\\(*p")
+PREDEF("Pi", "pi")
 PREDEF("Pm", "\\(+-")
 PREDEF("Rq", "\\(rq")
 PREDEF("left-bracket", "[")
@@ -50,7 +50,7 @@ PREDEF("right-bracket", "]")
 PREDEF("right-parenthesis", ")")
 PREDEF("rp", ")")
 PREDEF("right-singlequote", "\\(cq")
-PREDEF("Tm", "\\(tm")
+PREDEF("Tm", "(Tm)")
 PREDEF("Px", "POSIX")
 PREDEF("Ai", "ANSI")
 PREDEF("\'", "\\\'")