vv@ && # v ⽽V  viiiiiiii K EvxCvv2 infimum supremumpc 3_ EvxDvrv infimum supremumpc ̓ EvxEvv2 infimum supremumpc %m EvxFvrv infimum supremumpc *