A Syntax for Formal Category theory in a Virtual Equipment

vequip-syntax/syntax.tex describes an internal language for virtual equipments and some applications to internal and synthetic category theory.