More notation standardization.