There are a couple packages I know of for helping one to lay out Frege's notation, with a focus on that in *Basic Laws of Arithmetic* (*Grundgesetze der Arithmetik*): begriff, fge, grundgesetze. However, it seems that none of these handle the notation he developed for Part III of *Begriffsschrift* (& then abandoned for *Basic Laws*). I'm trying to figure out what the best way to layout something like the below might be:

[![enter image description here](https://i.stack.imgur.com/vbyJc.png)](https://i.stack.imgur.com/vbyJc.png)

Any recommendations?