diff --git a/misc/ATOMS b/misc/ATOMS
index 010272636..081d712ae 100644
--- a/misc/ATOMS
+++ b/misc/ATOMS
@@ -87,7 +87,7 @@ A	DollarUndef		F	"$undef"
 A	DomainError		N	"domain_error"
 A	E			N	"e"
 A	EOFBeforeEOT		N	"end_of_file_found_before_end_of_term"
-	A	EQ			N	"="
+A	EQ			N	"="
 A	EmptyAtom		N	""
 A	EndOfStream		N	"$end_of_stream"
 A	Eof			N	"end_of_file"