(iw) is the eigenvalue

=> clearer if formulations do not involve I[]
1 job from master in 1 minute and 53 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #16213
official macos64
make_zip

00:01:53