CatGloss

$ with two free variables. $ mathrm{Rep}_{varphi}qquadforall uforall vforall w(varphi(u

This site is open source. Improve this page.