doc/*.tex: Prefer @|...| over @"..." for general typeset-as-code.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 27 Jul 2019 00:10:55 +0000 (01:10 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 3 Aug 2019 15:27:36 +0000 (16:27 +0100)
commitba375a80263cbbc155f66c6046e485d56935e5c6
tree3dc8692765c6c5ae5726f7c13ec5dbdffd42378c
parent7a3da82906a0439313b1a075c739046836e4a80f
doc/*.tex: Prefer @|...| over @"..." for general typeset-as-code.

The latter is strictly for literal tokens, rather than general code.
doc/syntax.tex
doc/tutorial.tex