The Lie algebra E7½ is a subalgebra of E8 containing E7 def…
The Lie algebra E7½ is a subalgebra of E8 containing E7 defined by Landsberg and Manivel in order to fill the "hole" in a dimension formula for the exceptional series En of simple Lie algebras.
"7½, right?"
<https://youtu.be/T2Y7oo3iB40>