Functions returning special characters that can't be used directly in Wyjec expressions.