Synthetic topos theory
[001V] Rule

Level\mathord {\textnormal {\textsf {Level}}} is a judgment form.