/usr/share/doc/texinfo/html/Equivalence.html is in texinfo-doc-nonfree 4.13a-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 | <html lang="en">
<head>
<title>Equivalence - GNU Texinfo 4.13</title>
<meta http-equiv="Content-Type" content="text/html">
<meta name="description" content="GNU Texinfo 4.13">
<meta name="generator" content="makeinfo 4.13">
<link title="Top" rel="start" href="index.html#Top">
<link rel="up" href="Glyphs.html#Glyphs" title="Glyphs">
<link rel="prev" href="Error-Glyph.html#Error-Glyph" title="Error Glyph">
<link rel="next" href="Point-Glyph.html#Point-Glyph" title="Point Glyph">
<link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
<!--
This manual is for GNU Texinfo (version 4.13, 18 September 2008),
a documentation system that can produce both online information and a
printed manual from a single source.
Copyright (C) 1988, 1990, 1991, 1992, 1993, 1995, 1996, 1997,
1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008
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.2 or any later version published by the Free Software
Foundation; with no Invariant Sections, with the Front-Cover Texts
being ``A GNU Manual'', and with the Back-Cover Texts as in (a)
below. A copy of the license is included in the section entitled
``GNU Free Documentation License.''
(a) The FSF's Back-Cover Text is: ``You are free to copy and modify
this GNU Manual. Buying copies from GNU Press supports the FSF in
developing GNU and promoting software freedom.''
-->
<meta http-equiv="Content-Style-Type" content="text/css">
<style type="text/css"><!--
pre.display { font-family:inherit }
pre.format { font-family:inherit }
pre.smalldisplay { font-family:inherit; font-size:smaller }
pre.smallformat { font-family:inherit; font-size:smaller }
pre.smallexample { font-size:smaller }
pre.smalllisp { font-size:smaller }
span.sc { font-variant:small-caps }
span.roman { font-family:serif; font-weight:normal; }
span.sansserif { font-family:sans-serif; font-weight:normal; }
--></style>
</head>
<body>
<div class="node">
<a name="Equivalence"></a>
<p>
Next: <a rel="next" accesskey="n" href="Point-Glyph.html#Point-Glyph">Point Glyph</a>,
Previous: <a rel="previous" accesskey="p" href="Error-Glyph.html#Error-Glyph">Error Glyph</a>,
Up: <a rel="up" accesskey="u" href="Glyphs.html#Glyphs">Glyphs</a>
<hr>
</div>
<h4 class="subsection">14.15.6 <code>@equiv{}</code> (==): Indicating Equivalence</h4>
<p><a name="index-Equivalence_002c-indicating-885"></a><a name="index-equiv-886"></a>
Sometimes two expressions produce identical results. You can indicate the
exact equivalence of two forms with the <code>@equiv{}</code> command.
<p>The <code>@equiv{}</code> command is displayed as ‘<samp><span class="samp">==</span></samp>’ in Info
and HTML and as a standard mathematical equivalence sign (three
parallel horizontal lines) in the printed output.
<p>Thus,
<pre class="example"> @lisp
(make-sparse-keymap) @equiv{} (list 'keymap)
@end lisp
</pre>
<p class="noindent">produces
<pre class="lisp"> (make-sparse-keymap) == (list 'keymap)
</pre>
<p class="noindent">This indicates that evaluating <code>(make-sparse-keymap)</code> produces
identical results to evaluating <code>(list 'keymap)</code>.
</body></html>
|