src/Tools/8bit/config/conv-tables.inp

 >  "نه"		"<--"		"<--"		"\mbox{$\longleftarrow$}"
 >  "نو"		"<->"		"<->"		"\mbox{$\leftrightarrow$}"
 #>  "\^-1"	"@\^-1"		"^-1"		"\mbox{$^{\tt -1}$}" 
 
 #Isabelle
+>  "^and"	"^@and"		"and"		"\mbox{\bf and}"
 >  "^arities"	"^@arities"	"arities"	"\mbox{\bf arities}"
 >  "^axclass"	"^@axclass"	"axclass"	"\mbox{\bf axclass}"
 >  "^constdefs"	"^@constdefs"	"constdefs"	"\mbox{\bf constdefs}"
 >  "^consts"	"^@consts"	"consts"	"\mbox{\bf consts}"
 >  "^datatype"	"^@datatype"	"datatype"	"\mbox{\bf datatype}"