doc/*.tex: Prefer @|...| over @"..." for general typeset-as-code.