621
621
case '>': out << ">{}"; @+ break; // to annhilate ligatures
622
622
case '&': out << "\\&"; @+ break;
623
623
case '$': out << "\\$"; @+ break;
625
625
case '|': out << "{\\mbox{\\char124{}}}"; @+ break;
627
627
case '%': out << "\\%"; @+ break;
628
628
case '#': out << "{\\mbox{\\char35{}}}"; @+ break;
629
629
case '^': out << "{\\mbox{\\char94{}}}"; @+ break;