From 873c5610a24fb7cb8a9a1233d45da5084495c62e Mon Sep 17 00:00:00 2001
From: Ali Gholami Rudi <ali@rudi.ir>
Date: Thu, 12 Feb 2015 18:07:25 +0330
Subject: [PATCH] def: int should be defined as \(is

Reported by Dirk-Wilhelm Peters <peters@schwertfisch.de>.
---
 def.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/def.c b/def.c
index 2169527..176286c 100644
--- a/def.c
+++ b/def.c
@@ -80,7 +80,7 @@ char *def_macros[][2] = {
 	{"if",		"roman \"if\""},
 	{"inf",		"\\(if"},
 	{"infinity",	"\\(if"},
-	{"int",		"roman size +2 \\(in"},
+	{"int",		"roman size +2 \\(is"},
 	{"inter",	"roman size +2 \\(ca"},
 	{"lim",		"roman \"lim\""},
 	{"ln",		"roman \"ln\""},
-- 
2.11.4.GIT