consistent notation for |- Gamma ctx