CatGloss
The symbol “ $ sqcap $ “ will generally be used for this type of relation