CatGloss
f $ “ and “ $ x!in!f $ “ obtains