BilevelJuMP: Symmetric variables not supported?

I don’t think there’s any deeper reason other than it hasn’t been implemented yet. @joaquimg can confirm.

You might want to open a feature request: GitHub · Where software is built

The second way is probably preferable.