--- texinfo.txi-ref	2012-08-13 19:36:08.000000000 +0200
+++ texinfo.txi	2012-08-13 19:36:36.000000000 +0200
@@ -19239,7 +19239,7 @@
 @item @code{@@error}            @tab @samp{error-->}
 @item @code{@@euro}             @tab U+20AC
 @item @code{@@exclamdown}       @tab U+00A1
address@hidden @code{@@expansion}        @tab U+2192
address@hidden @code{@@expansion}        @tab U+21A6
 @item @code{@@geq}              @tab U+2265
 @item @code{@@leq}              @tab U+2264
 @item @code{@@minus}            @tab U+2212