Properties and operations with exponents