Mizar articles are written in ordinary ASCII, but the language was designed to be close enough to the mathematical vernacular that most mathematicians could read and understand Mizar articles without special training.
Mizar-Artikel werden in gewöhnlichem ASCII verfasst, aber die Sprache wurde so entwickelt, dass sie nahe genug an der mathematischen Fachsprache ist, dass die meisten Mathematiker Mizar-Artikel ohne spezielles Training verstehen können.