rat: document {\} and {/}
When we are ready to publish our results on these operators on expressions, then we must make sure that (and that includes the operators {t}
and {T}
too):
-
the test suite is checking them ( tests/rat
) -
Expression.ipynb is documenting them -
it also documents the identities that are applied