X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fpspp.texi;h=204feada5862577aad02fbdf37cbf51b6c870e80;hb=ff7ae14592cbdbebc4e4322424db95663ea7e166;hp=6c4771e944da8ab3dcecb0150056b926e48d2fdf;hpb=510cc9dd9baf3108ba55cfb7893384517c9930b4;p=pspp

diff --git a/doc/pspp.texi b/doc/pspp.texi
index 6c4771e944..204feada58 100644
--- a/doc/pspp.texi
+++ b/doc/pspp.texi
@@ -90,6 +90,15 @@ graphic user interface
 @end quotation
 @end macro
 
+@ifnottex
+@macro times{}
+×
+@end macro
+@macro ne{}
+≠
+@end macro
+@end ifnottex
+
 @c A macro to indicate variable names used in examples.
 @c NOT metasyntactical variables - for that use @var
 @macro exvar{VAR}