Skip to content

Commit dafa92e

Browse files
committed
typo
1 parent c876074 commit dafa92e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/internals/terms.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ In this guide, for any given range \\(r\\),
2424
we will note \\([r]\\) its associated positive term,
2525
and \\(\neg [r]\\) its associated negative term.
2626
And for any term \\(T\\), we will note \\(\overline{T}\\) the negation of that term.
27-
(\\( \neg A \\) and \\( \overline{A} \\) are different notations for the same thing)
27+
(\\( \neg A \\) and \\( \overline{A} \\) are different notations for the same thing.)
2828
Therefore we have the following rules,
2929

3030
\\[\begin{eqnarray}

0 commit comments

Comments
 (0)