Definitions for "ordinary character"