Alan Stone software.list.1es9s at gmail.com
Wed Sep 10 19:29:19 CEST 2008

How do you obtain the same result as

( option = none empty high nomarking )

in a document where