# Use with extreme caution : any character sequence appearing here
# will be automatically and instantaneously turned into the given
# phrasegroup. pi, etc. are not appropriate as they could conceivably
# have other uses. Infinity should not.
∞|infinity
