Decided on the Easy Google Syntax Highlighter for now. Looks like this:
public string HelloWorld () { return "Hello World!"; }
So far, have only been able to get the <PRE> version working. The <SCRIPT> version doesn’t work because WordPress seems to insert an extra space in the <![CDATA[ tag.
Usage instructions, because I keep having to look them up.