<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<!-- This manual is for GNU Texinfo (version 6.7, 23 September 2019),
a documentation system that can produce both online information and a
printed manual from a single source using semantic markup.
Copyright (C) 1988, 1990, 1991, 1992, 1993, 1995, 1996, 1997,
1998, 1999, 2001, 2001, 2003, 2004, 2005, 2006, 2007, 2008, 2009,
2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019 Free Software
Foundation, Inc.
Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.3 or
any later version published by the Free Software Foundation; with no
Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
Texts. A copy of the license is included in the section entitled
"GNU Free Documentation License". -->
<!-- Created by GNU Texinfo 6.7, http://www.gnu.org/software/texinfo/ -->
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<title>@equiv (GNU Texinfo 6.7)</title>
<meta name="description" content="@equiv (GNU Texinfo 6.7)">
<meta name="keywords" content="@equiv (GNU Texinfo 6.7)">
<meta name="resource-type" content="document">
<meta name="distribution" content="global">
<meta name="Generator" content="texi2any">
<link href="index.html" rel="start" title="Top">
<link href="Command-and-Variable-Index.html" rel="index" title="Command and Variable Index">
<link href="index.html#SEC_Contents" rel="contents" title="Table of Contents">
<link href="Glyphs-for-Programming.html" rel="up" title="Glyphs for Programming">
<link href="_0040point.html" rel="next" title="@point">
<link href="_0040error.html" rel="prev" title="@error">
<style type="text/css">
<!--
a.summary-letter {text-decoration: none}
blockquote.indentedblock {margin-right: 0em}
div.display {margin-left: 3.2em}
div.example {margin-left: 3.2em}
div.lisp {margin-left: 3.2em}
kbd {font-style: oblique}
pre.display {font-family: inherit}
pre.format {font-family: inherit}
pre.menu-comment {font-family: serif}
pre.menu-preformatted {font-family: serif}
span.nolinebreak {white-space: nowrap}
span.roman {font-family: initial; font-weight: normal}
span.sansserif {font-family: sans-serif; font-weight: normal}
ul.no-bullet {list-style: none}
-->
</style>
</head>
<body lang="en">
<span id="g_t_0040equiv"></span><div class="header">
<p>
Next: <a href="_0040point.html" accesskey="n" rel="next"><code>@point</code></a>, Previous: <a href="_0040error.html" accesskey="p" rel="prev"><code>@error</code></a>, Up: <a href="Glyphs-for-Programming.html" accesskey="u" rel="up">Glyphs for Programming</a> [<a href="index.html#SEC_Contents" title="Table of contents" rel="contents">Contents</a>][<a href="Command-and-Variable-Index.html" title="Index" rel="index">Index</a>]</p>
</div>
<hr>
<span id="g_t_0040equiv_007b_007d-_0028_2261_0029_003a-Indicating-Equivalence"></span><h4 class="subsection">12.9.6 <code>@equiv{}</code> (≡): Indicating Equivalence</h4>
<span id="Equivalence"></span><span id="index-Equivalence_002c-indicating"></span>
<span id="index-equiv"></span>
<p>Sometimes two expressions produce identical results. You can indicate
the exact equivalence of two forms with the <code>@equiv{}</code>
command. The <code>@equiv{}</code> command is displayed as
‘<samp>≡</samp>’, either a standard mathematical equivalence sign
(three parallel horizontal lines) or (when that is not available) as
the ASCII sequence ‘<samp>==</samp>’.
</p>
<p>Thus,
</p>
<div class="example">
<pre class="example">@lisp
(make-sparse-keymap) @equiv{} (list 'keymap)
@end lisp
</pre></div>
<p>produces
</p>
<div class="lisp">
<pre class="lisp">(make-sparse-keymap) ≡ (list 'keymap)
</pre></div>
<p>This indicates that evaluating <code>(make-sparse-keymap)</code> produces
identical results to evaluating <code>(list 'keymap)</code>.
</p>
</body>
</html>