Literal pipe characters are easier to read and there isn't any difference in the output for mandoc(1) -Thtml and -Tutf8.
\*(Ba is still used elsewhere in ksh.1, although I didn't touch those as I'm unsure if this change is even wanted. Index: ksh.1 =================================================================== RCS file: /cvs/src/bin/ksh/ksh.1,v retrieving revision 1.171 diff -u -p -r1.171 ksh.1 --- ksh.1 24 Nov 2015 21:07:31 -0000 1.171 +++ ksh.1 25 Dec 2015 18:18:51 -0000 @@ -14,7 +14,7 @@ .Bk -words .Op Fl +abCefhiklmnpruvXx .Op Fl +o Ar option -.Op Fl c Ar string \*(Ba Fl s \*(Ba Ar file Op Ar argument ... +.Op Fl c Ar string | Fl s | Ar file Op Ar argument ... .Ek .Sh DESCRIPTION .Nm