Symbolic language in Rev — Craig S. Keener