The AI-powered English dictionary
(mathematics) sometimes used to write the imaginary unit examples
(logic) the definite descriptor examples