Ensure that tilde in binary negation operation in Table 1.3 in ibcm.tex is properly displayed, TeXify single quotes in table, and add missing 0 to instruction.

aaronbloomfield / pdr

A repo for a Program and Data Representation university-level course

Other

114 stars 487 forks source link

Ensure that tilde in binary negation operation in Table 1.3 in ibcm.tex is properly displayed, TeXify single quotes in table, and add missing 0 to instruction. #172

Closed rachelsfba closed 8 years ago

rachelsfba commented 8 years ago

Currently, the tilde is interpreted as a non-breaking space instead of a literal tilde character. A workaround is presented in this pull request using $\sim$ in its place.