Skip to content

Commit a7c32dd

Browse files
committed
almost completely tidied
1 parent ea7d5b8 commit a7c32dd

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

README.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -300,8 +300,8 @@ counter-intuitive.
300300

301301
For instance, naively, you might expect that the form $\{ 3 |
302302
17 \}$ could be mapped to the mean of the two sets, i.e., 10.
303-
However, $x = \{ X_L | X_R \}$ is the simplest number such that $X_L < x
304-
< X_R$, so, in fact, this form is equivalent to 4.
303+
However, $x = \{ X_L | X_R \}$ is the simplest number such that
304+
$X_L < x < X_R$, so, in fact, this form is equivalent to 4.
305305

306306
Note, often in texts it is written $X \not \leq Y$ whereas I am
307307
writing $X > Y$. The original definition is intended (I think) to take
@@ -403,7 +403,7 @@ are not equal, but they are equivalent. Thus the parent "4" is
403403
defined in terms of simpler forms (even though one of these is
404404
equivalent).
405405

406-
![2x2 = 4](/test/Figs/test_dot_x43.svg)
406+
![2x2 = 4](examples/Figs_edited/test_dot_x43.svg)
407407

408408
The other pieces of the toolkit are the standard things you expect to
409409
be able to do with numbers, e.g. round, sign, isinteger, ... I

0 commit comments

Comments
 (0)