diff options
-rw-r--r-- | docs/users_guide/exts/instances.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/exts/instances.rst b/docs/users_guide/exts/instances.rst index 84276527a3..17ef06885b 100644 --- a/docs/users_guide/exts/instances.rst +++ b/docs/users_guide/exts/instances.rst @@ -486,8 +486,8 @@ like this: - :math:`IY` is strictly more specific than :math:`IX`. That is, :math:`IY` is a substitution instance of :math:`IX` but not vice versa. - - Either :math:`IX` is *overlappable*, or :math:`IY` is *overlapping*. (This - "either/or" design, rather than a "both/and" design, allow a + - :math:`IX` is *overlappable* or :math:`IY` is *overlapping*. (This + "or" design, rather than an "and" design, allows a client to deliberately override an instance from a library, without requiring a change to the library.) |