Closed cole-miller closed 4 years ago
Thanks!
(I wish GitHub's UI had something equivalent to --word-diff
)
The "rich diff" view (button at the top, next to the angle brackets icon) is pretty good for Markdown files, actually. Unless you've already tried that and found it lacking?
Quoting Cole Miller (2020-08-20 20:11:00)
The "rich diff" view (button at the top, next to the angle brackets icon) is pretty good for Markdown files, actually. Unless you've already tried that and found it lacking?
I noticed that right after posting, actually. I feel like it could use a bit more contrast though... but this is a bit off-topic.
The usual way to get the "and" and "or" symbols in LaTeX is with
\wedge
and\vee
; this PR adds definitions of these symbols in the "Notation" section and updates the rest of the spec to use them where appropriate.I also made a minor change to the shift definitions, adjusting some variable names so that 'y' always denotes a bit vector/unsigned 32-bit integer and 'n' always denotes a count for shifting.