Skip to content

Commit bc973b7

Browse files
committed
Fixup: \defnx{equality preserving}
1 parent 1c21ba4 commit bc973b7

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

source/concepts.tex

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -24,10 +24,10 @@
2424
\rSec2[concepts.lib.general.equality]{Equality Preservation}
2525

2626
\pnum
27-
An expression is \term{equality preserving} if, given equal inputs, the
28-
expression results in equal outputs. The inputs to an expression are the set of
29-
the expression's operands. The output of an expression is the expression's
30-
result and all operands modified by the expression.
27+
An expression is \defnx{equality preserving}{expression!equality preserving} if,
28+
given equal inputs, the expression results in equal outputs. The inputs to an
29+
expression are the set of the expression's operands. The output of an expression
30+
is the expression's result and all operands modified by the expression.
3131

3232
\pnum
3333
Not all input values must be valid for a given expression; e.g., for integers

0 commit comments

Comments
 (0)